Migrating users from MediaWiki
==============================

To be done.