Re: Editing using alt-r does not distinguish case

This is an OpenPGP/MIME signed message (RFC 4880 and 3156)
--------------GKPFb0EQMjCZuqeQxJd7LwFa
Content-Type: multipart/mixed; boundary="------------ScYSeNKR3BAEy2WXE2OlcHU2";
 protected-headers="v1"
From: Benno Schulenberg <[email protected]>
To: [email protected]
Message-ID: <[email protected]>
Subject: Re: Editing using alt-r does not distinguish case
References: <[email protected]>
 <[email protected]>
In-Reply-To: <[email protected]>

--------------ScYSeNKR3BAEy2WXE2OlcHU2
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: base64

DQpbUGxlYXNlIHVzZSBhIHN1YmplY3QgbGluZSB0aGF0IGlzIHRvIHRoZSBwb2ludC5dDQoN
Cg0KSSB3cm90ZSBlYXJsaWVyOg0KPj4gTS1GIHRvZ2dsZXMgbXVsdGlidWZmZXIgb2ZmL29u
IGp1c3QgZm9yIHRoaXMgaW52b2NhdGlvbiBvZiBeUi4NCg0KDQpQcmFzYWQgcmVzcG9uZGVk
Og0KPiBuYW5vIDcuMSAod2hpY2ggSSB1c2UpIHNob3dzIGEgbWVzc2FnZSAiTm8gZm9ybWF0
dGVyIGlzIGRlZmluZWQgZm9yDQo+IHRoaXMgdHlwZSBvZiBmaWxlIiB3aGVuIEkgdHlwZSBN
LUYNCg0KVGhlIGZ1bmN0aW9uIG9mIGtleXMgZGVwZW5kcyBvbiB3aGljaCBtZW51IHlvdSBh
cmUgaW4uDQpBcyBJIHNhaWQsIE0tRiB0b2dnbGVzICJtdWx0aWJ1ZmZlciIgaW4gdGhlIF9e
UiBtZW51Xy4NCg0KQWxzbzogaWYgeW91IGRvbid0IGtub3cgd2hhdCB0byBkbyBpbiBhIG1l
bnUsIHR5cGUgXkcuDQoNCg0KQmVubm8NCg==

--------------ScYSeNKR3BAEy2WXE2OlcHU2--

--------------GKPFb0EQMjCZuqeQxJd7LwFa
Content-Type: application/pgp-signature; name="OpenPGP_signature.asc"
Content-Description: OpenPGP digital signature
Content-Disposition: attachment; filename="OpenPGP_signature"

-----BEGIN PGP SIGNATURE-----

wsF5BAABCAAjFiEEFo5vQpe/16ea/USWUUu+Lrjhlh8FAmS6kK8FAwAAAAAACgkQUUu+Lrjhlh9j
uRAAmnnhMphALE7cIuvnBkTQHAqOYJR/yEB8V1RS4VQg1HjIX6cwppy9jwodOYcRde1ZRh3WpyPm
w/QzrtGp6J3WrENOsjjHODkA+Fm4gpiNQNBvT8/L8FNpWkdHFgq00AkUai/9BkKZZa85jpCIAoXu
fZbhGbMxxrXvnwULPEvOpLmyviQGLwqS+FW6shsSZbNSjQ5DNFQ/FxxywEcGy0DitsOQ9byTWvEy
9q6RHDrnnCNl67QjxGFyW4LbBJOpPXKwGPgMjI0iCSlN1TUs2mLhkVNPCcHdBm+lQyOlxvvrhbD8
/eBcjtBi1nYDFK9gbiuDBYame3MhAxCgIMY5J1SNZQwLukMhhPP8+PE2YMuS5V2ZvptonlGGtZtA
tYax25q6fcZQuQrSxOlTBtjdxsTCn5XWIT+Zrev6ydm3G6JMYbRmA1d16uSGZtkxTTKWf+3uIYwj
RZppTLf/Gei9MbKr9NvNR2kLXTlcMdlWqfelQPhorR90Q468O4Y+iBBXOrzcyQqvaGKV2oGHtE7V
Wj6i9jtyQAnJHqc37siHzsO2ighQYFAHpSorFFGoY99sqJYh6DoR9e/7ssikJjLQ3PqiS6JFKdaB
MIN/hWgx7kDhbneoGngd9cpz7NSr2cSjG0+4oN6ZJrSdLdcTJ3uyibQ5fewgWEnwqyvAdSVjDH2j
D7k=
=fJj5
-----END PGP SIGNATURE-----

--------------GKPFb0EQMjCZuqeQxJd7LwFa--