Writing Customization Definitions
*********************************
This chapter describes how to declare user options for customization,
and also customization groups for classifying them. We use the term
"customization item" to include both kinds of customization
definitions--as well as face definitions (Note:Defining Faces).