Re: Abbrev should preserve case

[Richard Stallman]

The handling of case in abbrevs is designed to work well
for abbreviations for words and phrases used in text.
It is the right thing.

It might be ok to allow separate definitions for non-lower-case
abbrevs, and look first for them when the text to be expanded
is not lower case.

This would be ok provided that it has no effect on the handling
of the sort of abbrevs that now exist.