We detached this comment from https://news.ycombinator.com/item?id=42430565 - your comment is just fine, there's nothing wrong with posting 'thank you'! But I wanted to pin the other link to the top, where real estate is expensive.