re: #153 Jay C

Well, re point 2: someone actually deleted* the comment (#44 isn’t even on the numbered list any more) - and it was gone by the time I saw it this morning (though I got up quite late today) - it was posted at 21:36 PT. SO someone is watching…

And re point 1: unlikely: this feels like a deliberate hit-and-run.

*Can we even DO that from the comments box?

I think when a comment gets to 10 downdings it’s auto deleted? Might be Reddit that has that.