On Mon, 17 Feb 2020, Warner Losh wrote: > I think this showed the wisdom of deleting binaries from /usr/bin when > there was no man page for them... Was it Ken or Dennis who used to do that? People quickly learned to write up a man page :-) -- Dave