You seem to be conflating my position on the use of public funds with your position on open source in general.
"So, if YOUR government uses Linux, but doesn't participate in Linux development, it's bad for everyone else?"
I'm not sure where you are going with this. I certainly never claimed that governments should not use open source software. By all means I hope (for argument sake let's call it The US) leverages Linux where practical.
What I disagree with is the premise that The US or their contractors owe pull requests or public repos to the peoples of the world just because the US taxpayer partly or fully funded a development project. Hate on me if you must but I believe that no US funded research results be they in software or any other IP are or should be automatically owed to the peoples of the earth.
"Most Linux users aren't contributing to Linux itself. And likely less than half are making any significant contribution to Open Source Software at all. It's still useful software, and I still appreciate everyone that does work on it."
Yes, I agree with your idea that most open source users are freeloading in the sense that they contribute far less than they use. That is part of my point.