Re: Single key navigation for texinfos HTML

[Karl Berry]

    A description on how to use it:
    http://wiki.github.com/SebastianRose/org-info-js/org-keys

Thanks.  I'm all for being able to type n/p/0..9/etc. in a browser and have
something sensible happen.

    
http://github.com/SebastianRose/org-info-js/blob/ef18719be875f0dd7c352ddc55d277493150ea69/org-keys.js

I'm not sure about including that chunk of JS by default, but I'll think
about it.  Seems like it could be an option of some sort, at least.

Thanks.