Re: [PATCH] defaults.el: record and revert changing XEmacs defaults across time