I thought you were being facetious about what could have been a throwaway comment from a throwaway account, but then I checked their bio; this particular type of interaction is one of the things that I love about HN.
Same here, I've learned to check. I really should have explicitly pointed out who, so it was less blown off. Almost came back and did so. And yes, why HN is great.