I've noticed that the "Department of Government Efficiency" has received hardly any media attention in recent months, and its website shows no updates since August 13. Has there been any formal change in policy terminating or downsizing DOGE, or has it simply become less active and/or prominent de facto since Musk's departure, without any de jure change?