Comments moved to https://news.ycombinator.com/item?id=48648959, which ended up being on the frontpage.

Sorry! if I had seen earlier that you were the first submitter, we'd have done the merge the other way and re-upped this submission.