I'm mostly adding context to the statistic that Microsoft makes 0.21% of its revenue from the federal government, and arguing against the sub-claim that government spending is easy to track.