pub const REFERENCE_PAGE_HOME: &str = "index.html";
Where a reference page’s header link points — they sit at the site root, beside the index.