Enhance the wiki rendering to support &lt;div&gt; markup.  The closing
&lt;/div&gt; tag with and id= attribute can close off &lt;verbatim&gt;
and &lt;nowiki&gt;.  The wiki append page uses this to prevent unclosed
tags from messing up the rendering of subsequent comments.