[GiNaC-devel] Patch 3 updated description