Re: XEmacs 21.0 and the options menu