Re: rmail-default-file vs. (deleted) rmail-default-rmail-file

[Chong Yidong <cyd@stupidchicken.com>]

"Alfred M. Szmidt" <ams@gnu.org> writes:

>    > Can we change the default value of rmail-output-file to ~/XMAIL?
>    > Since that was the default (`o' was bound to
>    > rmail-output-to-rmail-file and used rmail-default-rmail-file).
>
>    Why do you prefer XMAIL to xmail?  (A temporary setting made during
>    pretest does not count.)
>
> rmail files have always uppercase, so it makes it easy to list just
> them with `ls *MAIL*'.  I find it also very confusing that `o' now
> outputs to ~/xmail, when I have a ~/XMAIL that I use.

The argument could go either way; the *mbox* files that Rmail output to
always defaulted to lowercase (~/xmail).  I don't feel strongly about
the matter, so it would be good if more rmail users weigh in on this.
(Richard?)