Migrating the Textpattern documentation out of MediaWiki