>
>
> I owe Matthias an apology for the tone of my response (first couple of
> lines) below. I think I misread his first line, in which he is (I now think)
> calling his point an "irrelevant nitpick", which I somehow read as his
> description of my message. As my son says, I made a mistake, not do it
> again.
Whoah, blast from the past! I don't remember being particularly offended. Given the medium these sorts of misunderstandings are inevitable.