Main hosting

[raoulb]

Reevaluate savannah as the main web host. We should really get rid of cvs now.

[raoulb]

Relevant savannah docs:

https://savannah.nongnu.org/maintenance/HomepageUpload/
https://savannah.nongnu.org/maintenance/HomePage/

Many people have requested using something other than CVS for their web page repositories. This is not unreasonable in principle, but requires substantial frontend work, backend work, and coordination with the FSF sysadmins. There is no ETA for any of this.

Given this did not change during the past five or so years, I really suggest to move to for example github pages.