> With that said is gnustep.org being replaced with gnustep.github.io?
As a gnu project there is expectation that a user can contribute without using proprietary software. This includes not creating a github account. It would be nice if source for that page was mirrored on savannah (which, too, provides a feature to host static web sites).
