Doc/website: Add a conversion of the MediaWiki site This can be edited using the usual credentials, reviewed using the usual workflow and updated on the server automatically.