Hi.
Do we have plans for the Toolserver wiki (<https://wiki.toolserver.org/>)?
There's some very good content in/on the wiki that would be nice to move
to either
wikitech.wikimedia.org or
mediawiki.org, I think.
Has this been discussed anywhere? Does anyone have any thoughts about this?
MZMcBride