>>>>> Edward Kmett <ekmett at gmail.com> writes: > That said, I'd very much rather err on the side of doing nothing rather than > do the wrong thing here. > We'll be stuck with it for a long time. I agree with Edward's sentiments. John