>>>> 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.
Works for me!
Works just well here on Ubuntu 17.10! Thank you for the quick
implementation, Allin!
Artur