Review follow-up: the ordered MODULES array can't double as a compiler- enforced exhaustive Page map, so document that adding a Page means adding it here (an unregistered Page returns undefined from moduleDef/moduleLabelKey and throws in NavSidebar). No behavior change. (Platform S6b.2)