But the appointment of Elon Musk as Donald Trump’s new efficiency tsar – he’ll share the role with another tech entrepreneur, ...