"Thanks!" bot is getting boring (https://news.ycombinator.com/item?id=46522514 https://news.ycombinator.com/item?id=46522431 https://news.ycombinator.com/item?id=46381314)