Musk posted last month on his social media site that he had “deleted” 18F, a government agency that worked on projects such ...