Please don't dig up historical comments in order to diminish someone's present-day comments or work. We can't know what has happened between then and now.
We detached this subthread from https://news.ycombinator.com/item?id=44196205 and marked it off topic.