And for how it played out! I'm sure that this wasn't what happened but it does occur to me that this pattern makes for a pretty good HN-hack by leveraging HN negativity/cynicism and then swooping in with an "oops - it's actually exactly what everyone thought it should be!". Definitely more net attention this way than would have been if it had just read this way originally.

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.

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

Wasn't intentional, but I like your thinking :P