@robpike I must be out of the loop: I have never heard anyone swap the meaning of slash and backslash, but now I have heard of the possibility, I think retirement is my only option.