I think it was done manually. This guy probably noticed that my comment was a play on another comment in this topic: https://news.ycombinator.com/item?id=160285

I think it was done manually. This guy probably noticed that my comment was a play on another comment in this topic: https://news.ycombinator.com/item?id=16028553 https://news.ycombinator.com/item?id=16028553 :)