[GiNaC-list] FYI: CLN fork