[theoh]

Where did this title come from? I usually can't stand HN's fussing over titles but this one really seems tendentious.

[dredmorbius]

https://news.ycombinator.com/item?id=20044085