We have moved to a new web server for the gmplib.org domain. I think everything should now work, including cgi and various redirects. Please report (to this list) if you find some brokenness. (We moved from Apache to Nginx, since the latter uses a fraction of the resources of the former.) -- Torbjörn