Thread:Extension talk:HTMLets/Does this extension need "$wgRawHtml=true"?