Yes, that's the argument I thought you'd make, and it's a good one. I just have the sense that people type that *all the time* (I certainly do), and it's a bit of a mouthful. I wonder how we could make that better.