On Sat, Aug 13, 2022 at 09:55:00AM +0200, Hiltjo Posthuma wrote: > I think its simpler to just add the comment if needed.
That's an option, yes. And I've considered it too. But it gets messy with Unicode/UTF-8 where one visible character != one byte. If you still think that's the way to go, then that's fine by me. Just wanted to make sure that you're aware of the unicode issue. - NRK