[boha]

I just love how a term that has so much material impact for so many people swung from Not Great to Industry-Leading Excellent . . . from a HN comment, to a PR, and merged . . . in a couple of hours.

[tempestn]

I don't think the actual term changed, just the documentation.