I think your comment was not meant to comment my comment, but instead to be a comment on https://news.ycombinator.com/item?id=22094294 Mods could probably move it.