Let's not get carried away. Shared software systems are about more than the software. If you're looking only at the software, and that was literally 100% of what is important here and nothing else, then yes, you're right.
But you want it fixed less than you want it publicized
100%. Yes. Correct. I also want it fixed, but that's completely trivial, with or without the pull request.












You might be right. I looked at the history and the way it came in, and it's not as wildly anomalous to the rest of the file when looked at in context. Maybe it's just a mistake.