On Saturday, 2 January 2021 at 14:47:17 UTC, aberba wrote: > And what would you like it to be? I mean if it's truly impeding on desired functionality, I wouldn't mind any possible alternative. Something like '\' seems simple enough to me.