Re: add generic toggle, turn on, and turn off commands to Options menu

[Richard Stallman]

I don't think it is desirable to create menu items for a lot more
options unless we do it with something like tabs so as to make it
easier to manage them all.

Maybe we could have a tabs-based customization buffer
that is modeled more closely after the configuration facilities
of other programs.

After the release, of course.