[Mediawiki-l] HTML insertation