I detached this comment from https://news.ycombinator.com/item?id=43158188 https://news.ycombinator.com/item?id=43158188 so we could pin the latter to the top. What you posted was fine! I just don't want to take up extra real estate at the top of the thread.