@Mosu
Ah, ok. Learned something new again. Thx. I still think those double backslashes might confuse users. But it only happens under such unlikely circumstances that it’s probably not worth spending any effort on; unless you’re
extremely bored of course.