The saga of Musk’s tussle with the SEC over how he disclosed his growing stake in Twitter (now called X) has come to an end.