Christopher Kings-Lynne wrote:
>> I don't mind if it's on by default; just thinking that some people might
>> appreciate a way to turn it off. "-X disable-dollar-quoting" sounds
>> fine.
>
>
> Does it _have_ to be dollars? Other languages call this feature
> 'heretext' IIRC.
>
This is not heretext, and calling it such would be quite misleading.
Nobody has yet come up with a better name for it.
cheers
andrew