Has there been any thought as to moving over to mediawiki from the current wiki?
I looked around a couple of months ago and found a python script that someone had written to convert all the wakka wiki articles to mediawiki ones. I can't find the website now, but the author did release the script (which I have saved).
edit: Here it is, a post to a mailing list:
http://lists.wikimedia.org/pipermail...ly/011509.html
The code's public domain.