For those unaware, the name came about when a competing civilization to the Culture complained that the Culture's powerful warships "ought to have names with mo

For those unaware, the name came about when a competing civilization to the Culture complained that the Culture's powerful warships "ought to have names with more gravitas", and the Minds made a joke out of it. I wonder if the same thing happened here. Maybe Elon saw someone complaining about his irreverent ship naming (both the ASDS and the "BFR") and decided to respond with this.