If it’s the latter then I missed the joke. If it’s the former I think you’re incorrect.
Reply on news.ycombinator.com