From Alain Fournier@21:1/5 to All on Sat Dec 18 17:17:02 2021
Elon Musk's biggest companies are Tesla and SpaceX, but he also has the
Boring Company. I just thought about that and how it could become handy
for making underground habitats on Mars. I checked it up and of course
Elon had already thought about that.