Earlier quoted context omitted.
21723, your last comment ("Unrelated...") borders on doxxing.
That wasn't my intent, and his username appears to be a real name (although I don't know). Apologies if it seemed that was what I was trying to do. I wasn't. I assumed that he was a real-name account who wanted to be known by his real identity (an identity that was maliciously attacked by an ex-CEO). I wouldn't guess at the identity of an account obviously intended to be anonymous.
But I'm not the HN police, just trying to help...