Oops. My comment [below] grew into a post, although shorter due to character limits.

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