Comments moved to
https://news.ycombinator.com/item?id=21323015, which was posted earlier. I copied this submission's title, which is much better, to the other submission as well. That was a good rewrite, as the guidelines ask: "
Please use the original title, unless it is misleading or linkbait."