Registry is the proposal they're pushing. That covers undocumented and documented.

— Pablo ManrĂ­quez (@PabloReports) November 22, 2021