Given that the US military is part of the US federal government, yes, that is a difference without a distinction. If it is for general use, per your own source, and not earmarked for the US federal government, then it is by extension not earmarked for the US military either.

You could do worse than to actually watch the whole video and not dragging your dislike of having a military into a conversation that is not about that to begin with. Or as others have put it in a more pejorative way, stop it with the leftist bean soup.