\n"
builtin_request_js hbmenu.js
set once 1
foreach {name url expr class} $mainmenu {
if {![capexpr $expr]} continue
if {$once && [string match $url\[/?#\]* /$current_page/]} {
set class "$class active"
set once 0
}
html "
"
if {[string match /* $url]} {set url $home$url}
html "$name
\n"
}
if {[string first artifact $current_page] == 0 || [string first hexdump $current_page] == 0} {
html "