Sorry all -- accidentally left the URL in the input... Would love to delete this thread in favor of https://news.ycombinator.com/item?id=31956876 https://news.

Sorry all -- accidentally left the URL in the input... Would love to delete this thread in favor of https://news.ycombinator.com/item?id=31956876 https://news.ycombinator.com/item?id=31956876 I guess deleting the other one in favor of this works as well, but feels like more discussion than a link per-say. [EDIT] paging @dang anyway though I assume everyone is enjoying their weekend