Comment by tgv

Perhaps not. I checked his post history, and back in 2021, there are comments as verbose as this one (e.g. https://news.ycombinator.com/item?id=29180977).