if {[info exists login]} { html "$login — Logout\n" } else { html "Login\n" }

# $ if {[anycap jor]} { html "" } $

html "
- ☰
    \n"
    builtin_request_js hbmenu.js
    set once 1
    foreach {name url expr class} $mainmenu {
      if {![capexpr $expr]} continue
      if {$once && [string match /$current_page* $url]} {
        lappend 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 "
" }