[tei-council] SourceForge is down again

Looks like we made the right decision; http://tei.sourceforge.net/ is down again, and the svn repo is unavailable. The Site Status page is not available either. Their last tweet was July 31, so whatever's wrong now, either they haven't noticed or they don't know enough to report anything. Cheers, Martin