export function generateVersionDropdown(allReleases) { const releases = allReleases.filter( (release) => typeof release === "string", ); const latest = releases[0].replace(/releases\/\d+\/v/, ""); return `