Doing the shift from PmWiki to MediaWiki

For everything which is neither gallery nor log entry, there is the wiki — which is actually mostly used by the Laboratory. PMWiki was a great start into the world of wikis — thanks to Zed who has introduced me to it. Yet, the time has come to give MediaWiki a try. Therefore I will try to undertake the wiki migration this weekend. So, please be aware that the wiki part of the site will be subject to technical change during the next days.