Re: Enhancements to options menu (was Re: Reveal mode)

[Karl Berry]

    Then, either you need to have docs installed in a webserver's space
    that does CGI, or the browser needs to handle running CGIs.  Existing
    browsers don't do this.

Of course it won't necessarily work in all configurations, and certainly
couldn't be automatically installed in all cases, but at least the
feature would be available for those who thought it important.  Although
such people have probably already implemented it.