DivWiki Default HTML works