@cstross it also provides a fig leaf of justification for a public SpaceX to shovel money to xAI when “because I want to” becomes harder to justify. They’ll need somebody to provide expert design partnership to solve these difficult technical problems. (Or the other way around if required.)