[O] Manual -- updating the Customization node

[François Pinard]

Hi, Org people.

This is half a tease, half a report :-)

Section 15.5 Customization in the Org manual says:

 "There are more than 180 variables that can be used to customize Org."

In a recent message to the mailing list, someone said 580 or so
variables.  Another gave a number over one thousand.

Maybe that "180" is too low an estimate, at least from now on, and
should be amended!

François