As you might have seen already, we have a new skin for the main page, and we are doing some changes to make the web and archive servers easier to use. To do so, we also need to finish the wiki migration and close the old mediawiki page. Aitux, can you tell us about the current status of the migration?