> [...] would allow us to stop abusing undocumented(7) [...] undocumented(7) it's always abused, by its own definition. It's a bug to point to that manpage.