The other is that it usually takes serious labor and negotiation to land a government contract. It's not like ICE went to some Web UI and bought GitHub Enterprise with a company credit card, and now we're asking GitHub/MS to ban them from the e-store.