{%- comment -%}
Original taken from https://github.com/just-the-docs/just-the-docs/blob/10388ed8b09eeae132a56c2b931e642b5ae2719d/_includes/nav.html
{%- endcomment -%}
<ul class="nav-list">
  {%- assign titled_pages = include.pages
        | where_exp:"item", "item.title != nil" -%}

  {%- comment -%}
    The values of `title` and `nav_order` can be numbers or strings.
    Jekyll gives build failures when sorting on mixtures of different types,
    so numbers and strings need to be sorted separately.

    He