A mediawiki extension that allows writers to output microformat2