Tips are also not acceptable to add to PR text. It’s like the definition of a “weed”. A “tip” in the GitHub UI would make sense. But “tips” injected into my own PR text become unwelcome ads. In any case, what may be helpful “tips” today are only a gateway to straight up paid ads tomorrow. After all, I get told all the time by adtech folks that actually, the ads and all the tracking behind them are good because aren’t I glad the ads are relevant to my interests and that I’m supporting small businesses online whose shops can only exist because of the ad infrastructure. To which I say, no, they aren’t, and that’s a lie.