Your U.S. government uses open source software, and loves it