Home Editor's Pick Musk officially steps down from DOGE after wrapping work streamlining government