at avar's suggestion i've created a wiki for MediaWiki (gosh, to think we
never had one of those before...). it's located at:
i'm not really sure what the best use for it is at the moment, but to start
with, moving wikipedia.sourceforge.net
there seems reasonable, and then maybe
some of the documentation from meta.