Re: [GiNaC-devel] request to fix download page