On Sun, Aug 1, 2021 at 9:33 AM Stephane Chazelas <stephane@xxxxxxxxxxxx> wrote: > > It's really astonishing that so few people know about it after > so many decades it's been around. GNU made a push some years ago to try to move everything from "man" to "info", but it never really took hold.