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. -- Kristoffer Haugsbakk
