Yikes, we'll merge them. Thanks!

Edit: merged to https://news.ycombinator.com/item?id=40230790 now.