I notce that the document Using the TEI Sourceforge Repository is well out of date already, and set to become even more so with the impending migration. It needs a pretty thorough rewrite.