On Tue, 19 Dec 2017, Artur T. wrote:
>> Agreed. In many cases, "help gig" or "help SVAR" would be a
life-saver.
>
> Good idea. We'll see about making the PDFs accessible via "help".
>
Thank you. Glad you agree ;-)
There's now a quick and dirty attempt at this in git. Refinemments can
come later.
Allin