I tried tracking that down before my last comment. It definitely wasn't the other comment. Not sure when you added the link to your HN profile, but it's likel

I tried tracking that down before my last comment. It definitely wasn't the other comment. Not sure when you added the link to your HN profile, but it's likeliest that I chanced up on it after clicking through from an unrelated comment/submission in another thread—maybe this one (if the time window fits): <https://news.ycombinator.com/item?id=33718850#33729686 https://news.ycombinator.com/item?id=33718850#33729686>