@danluu This topic gained attraction on the ycombinator board, and it seems that github staff claim responsability for inserting "tips" into the PR descriptions: https://news.ycombinator.com/item?id=47573233 .