Like @tfoote said, we’ve looked at migrating the wiki to MediaWiki a while back, and came to the conclusion that it’s not going to be easy. We can do about 70% of it automatically, but there are so many custom macros involved that we’d basically have to eyeball every page (that’s 18,000 pages, give or take) to make sure things worked and to fix things when they didn’t. I’m not sure that this is practical.
We’re working on another solution right now, which would wrap the current wiki and allow us to migrate page at a time, without losing the current content or having an extended downtime. It’s still in the early stages, but I’d be happy to talk about it offline, if anyone’s interested.
FWIW, I think that we need to fix this ASAP, since it’s really impacting people. Of course, we (the community) have been saying this for a while now, so this is not news to anyone. The problem is that there’s so much stuff, and it’s so heavily used that the transition strategy isn’t clear.
– Bill