On 2024-03-05 18:37, Kristoffer Haugsbakk wrote:
On Tue, Mar 5, 2024, at 18:20, Dragan Simic wrote:
On 2024-03-05 17:58, Kristoffer Haugsbakk wrote:
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.
Ah, I see. Thanks for the clarification.
