You are right. There is no point in fixing the problem with one backslash and preserving the old behaviour when two are present. Keeping the number of slashes the same before and after substitution will be the least surprising behaviour.