On Tue, 14 Apr 2020, Larry McVoy wrote: > bk helptool > > is sort of useful because it has categories. Wow! In a previous life we had a doc tool something like that. -- Dave