</li>
    <li><a class="dropdown-item" href="https://tony-aw.github.io/tinycodet/articles/g_misc.html">Miscellaneous functionality</a></li>
    <li><a class="dropdown-item" href="https://tony-aw.github.io/tinycodet/articles/h_otherpkgs.html">Relations to other packages</a></li>
    <li><a class="dropdown-item" href="https://tony-aw.github.io/tinycodet/articles/i_benchmarks.html">Benchmarks</a></li>
  </ul>
</li>
<li class="nav-item"><a class="nav-link" href="https://tony-aw.github.io/tinycodet/news/index.ht