Re: toolbar conventions

[Richard M. Stallman]

    This appears to be a rather radical change in terminology, especially
    when supposedly preparing for a release.

A change in documentation terminology is never radical in the way code
changes can be.

Last January we had far to go before a release.  Getting the
documentation into shape was the main job that needed doing, and I
found out about a problem in the documentation of Customize.  It
needed a simple way to talk about all the things that you can
customize.  I tried redefining the term "option" to mean all kinds of
things that appear in Custom buffers.

The change was never extended to the other manuals, and it seems to be
bigger than I thought.  So I think that choice was a mistake.  We
ought to undo my half-made change.  But we still need to address the
original problem, to find some other solution to the original problem,
some other term for "all the things that can appear in a Custom
buffer."

In January, some people argued for "preference".  We could use that.
Or perhaps "setting".  What do people think of those?  Any other
suggestions?