On Thursday, 7 October 2021 at 18:00:17 UTC, Imperatorn wrote: > Oh, now I see. Sorry. I think that might depend on OS version > iirc. Sidenote: shouldn't you use the unicode variant? 🤔 Why? It shouldn't matter for this purpose.