export function flattenNavigationVersions(nav) {
return nav.flatMap((val) => {
if (typeof val === 'string')
return [];
const versions = flattenNavigationVersions(val.pages);
if (val.version !== undefined)
versions.push(val.version);
return versions;
});
}