[tei-council] github down

Dearie me, and there we were abandoning sourceforge because it kept crashing, and now github has gone down the plughole too. Scarey. Apparently, according to French tv news, this is part of a mammoth DOS attack on lots of high profile US based sites.