Re: [O] initiate source edits and region

[François Pinard]

Carsten Dominik <address@hidden> writes:

>> In a previous mail list discussion on this (delicate, almost heated)
>> matter, Bastien finally ruled out that the preference in Org
>> documentation and behaviour should use capitals.

> Could you please point me to that discussion?  Thanks.

I tried for a few jiffies to find pointers.  I did find a few related
messages written around or before 2012-05, but not that one containing
Bastien's decision.  The simplest would be to write Bastien directly
(hoping he remembers).  Do you read us, Bastien?

>> The above command should also insert capitals, for Org being
>> consistent with itself :-)

Whatever the decision about capitals is retained or reversed, I would
surely like if the manual was using one convention consistently, and
that Org mode itself, while recognizing any capitalization, was
consistently generating the same which the manual uses, of course.

> I think this would be one more useful option to add.

An option could of course change how Org operates, but it would not
change the manual.  The default or implicit value for that option should
then be consistent with the manual.

> - Carsten

François :-)