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)

With the transclude template, there seems to be a considerably larger delay (>4h) for edits to a transclude page to take effect on the transclusion page. It may be that it's not a general fact and that I'm looking at an exceptional case. (The transclusion of Help:Page Editing at Help:Editing) --barto (talk) 12:44, 30 July 2017 (EDT)