UserGotoBar

What does the Configuration Variable $UserGotoBar do?

It can be used to add text to annotate the goto bar. The font may be modified using

<b>...</b>

for example. It is not clear whether more sophisticated html can be used.

You can use any text or HTML that you want--it is simply printed without modification.