Re: Small cleanup change

[Chong Yidong]

Richard Stallman <address@hidden> writes:

>     > Would someone please define a new name
>     > custom-add-frequent-value as an alias for it,
>     > and update all the things that should be updated?
>
>     What about making that `custom-add-optional-value' or just
>     `custom-add-value'?
>
> I prefer the term "frequent value" because it comes closer to clearly
> saying what these values are.  They are values we expect the variable
> to commonly have.

Fine; committed.