import { type NavJSON } from "https://dotland.deno.dev/x/lume@v2.4.2/plugins/nav.ts";