Achim Gratz writes:
> Thanks for the reminder.  In any case, these will need to become
> defcustoms as well.

Improved patch now with defcustom.  I hope I did get that defcustom
stuff right, please check.