A previous submission of this (https://news.ycombinator.com/item?id=45937910 https://news.ycombinator.com/item?id=45937910) didn't take off; I'm posting this to

A previous submission of this (https://news.ycombinator.com/item?id=45937910 https://news.ycombinator.com/item?id=45937910) didn't take off; I'm posting this to cite my comment there (https://news.ycombinator.com/item?id=45940360 https://news.ycombinator.com/item?id=45940360) rather than copying and pasting it.