Somehow I accidentally didn't paste the url into the form, so I posted it again here: https://news.ycombinator.com/item?id=46378939 https://news.ycombinator.com

Somehow I accidentally didn't paste the url into the form, so I posted it again here: https://news.ycombinator.com/item?id=46378939 https://news.ycombinator.com/item?id=46378939 If a moderator could merge these, I'd greatly appreciate it!