David Bremner writes:
> David Bremner writes:
>
>> This obsoletes [1]. Compared to the previous version the main change
>> is that it imposes the restriction that user defined prefixes may not
>> start with [a-z], and must consist of "unicode word characters". This
>> assumes a utf8 input
David Bremner writes:
> This obsoletes [1]. Compared to the previous version the main change
> is that it imposes the restriction that user defined prefixes may not
> start with [a-z], and must consist of "unicode word characters". This
> assumes a utf8 input encoding. People that don't like
