Of course, #" should still support \ as an escape character because doing otherwise would break backwards compatibility. Other #*:s should not though. Makes it slightly unorthogonal, I'm afraid...