Packages are named in the @notatio scope
Remove the moved-page stubs now that the repo links the renamed pages
Statistics and Maps, Restrictions: the current design; layering, fields, options, posets, encodings: real status
Archive retired pages, promote adopted ones, stubs at names the repo links