Yes - I was just suggesting that they could be fixed manually by the comment owners, since there’s unlikely to be many of them. A programming solution isn’t really required - users just need to made aware of backslash escaping so they can fix any problems themselves.