Karl, can you check:
http://savannah.gnu.org/maintenance/NonGnuToGnuSysadmin
and see if other changes needs to be done?That is the procedure I followed, including (I thought) running the curl that creates the redirect. Oh well. Maybe my connection died at precisely the wrong time or something. Anyway, thanks for doing it.
