Re: [PATCH] Changes to man/xemacs-faq.texi