The wiki has been provisioned on a new server and upgraded to the latest version of MediaWiki. There is a little bit of configuration left to do, but it should be functional and please let me know if you encounter any issues. You may notice that it is now using the default styling and this isn’t likely to change, as we plan to move to a new documentation platform in time, hence it’s not really worth the effort to skin it.
