Why change from Dokuwiki to MediaWiki?
  * I know how to do it.
  * I'm on top of the issues right now from doing the b8mb translation.
  * Redirects.
  * Categories.
  * Navigation.

Plan:
  * Leave the old wiki intact.
  * Start by moving the show preparation page.
  * Insert redirects on each old page when I make a corresponding page on the new wiki.