Help talk:ProofWiki Extension

I've seen that the &lt;section&gt; tag is used on some help pages. As a result, no table of contents is produced. Should we keep it this way, or remove the tag from those pages? --barto (talk) 11:26, 30 July 2017 (EDT)