This is just a brief note to put ourselves on record as opposing the change from / to \. We're not really interested in flaming about it at great length, we just want to puncture the argument that goes "Well nobody seems to object...".