Both Musk and investors in his companies should have had an inkling that the time and energy he’s committed to cutting government spending and the federal workforce — part of his stated goal of ...