On Tue, Mar 5, 2024, at 18:20, Dragan Simic wrote:

On 2024-03-05 17:58, Kristoffer Haugsbakk wrote:

quoted

Personally I think it’s okay. `%` for example is a good candidate since
you seldom use that as a leading character in prose (after a
whitespace), and it seems that `%` is often recommended as an
alternative.

Isn't '%' actually an ASCII character?

I wasn’t clear: personally I think the status quo of only allowing ASCII
characters seems fine given that you can use something like `%` as an
alternative comment char.

-- 
Kristoffer Haugsbakk