Can you please comment on donatj's claim that his post was edited by someone else? Can you or anyone else do this, and did that happen in this case? Does this happen often?
We don't edit other people's comments, except perhaps if the whitespace is messed up or something like that. I make up for it by obsessively editing my own though.
For what it's worth, it's possible I somehow typo'd it. I was on mobile, still in bed and using swype to type... But it smelled very suspicious at the time
