From: Dragan Simic Date: Tue, 05 Mar 2024 21:19:51 GMT Subject: Re: Clarify the meaning of "character" in the documentation Message-ID: <1c2ee0c45053e1b60e8ea64c19b6c292@manjaro.org> In-Reply-To: <6de8764e-9764-4c2b-ac2e-ca5e8480908a@app.fastmail.com> 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.