Oops! Dunno what happened, I thought it was not yet posted. (I thought I had posted it at first, but then I looked for it and didn’t see it & instead saw the unposted draft, but while I was looking for it I saw Richard’s post… I guess it must have been some sort of issue with having multiple tabs open. I’ll delete the other version.)
Didn’t you post that comment right here?
Oops! Dunno what happened, I thought it was not yet posted. (I thought I had posted it at first, but then I looked for it and didn’t see it & instead saw the unposted draft, but while I was looking for it I saw Richard’s post… I guess it must have been some sort of issue with having multiple tabs open. I’ll delete the other version.)