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