> +  proper_name ("The King"), \

The King is not a joke, though it is confusing.  An olden-days GNU
contributor used that for his handle.  I believe his full name is in the
documentation.  See [email protected] entries in ChangeLog.O.

karl

Reply via email to