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