Add code such as:

<nowiki><pre>html "<a

to the 'header'.  Notice that the value display changes as you move from page to page.  Notice further that all 'doc/...' pages say 'doc', and not the name of the actual page!  This essential renders this variable useless.