Plus: How did DOGE actually work? New disclosures offer insight.