On Fri, 16 Nov 2018, Toby Thain wrote: > GNU understood the difference, and wrote separate manuals (e.g. `info > bash`, `info bison`, etc). GNU "info" is one of the most non-intuitive interfaces that I've ever had the displeasure to use. Or maybe that's just me... -- Dave