{# Included inside each page's own <nav class="header-nav">...</nav>; not a
standalone element, so pages can add extra links (Theory, Contact, ...)
alongside these shared ones without nesting <nav> tags. #}
   <a href="/license">License</a>
   <a href="/imprint">Imprint</a>
   <a href="/privacy">Privacy</a>