Names, Contributing, Sites: the change of package scope is done
Names: every package takes the @notatio scope
Names: the scope is @notatio for the repository's packages; the set that stays is open
Names: notatio's packages take the @notatio scope; agreed, not built
Names: enumeratio is a GitHub user account; notatio has none of its own
notatio is served at notatio.app, not a subdomain of enumeratio.dev
Vdom states the adopted markup and tag rules; Vdom Markup keeps what is open; fold Components and Symbols open questions
Contributing, Packages, Syntax and Formats, Symbols, Namespaces, Manifest: names, current facts, present tense; fold three split-off stubs
Names: where nucleus is still used
Sites: the two-site plan and the catalogue's URL promise; Names: boxes is notatio
Names: the four names and what each governs