We’re almost certainly going to hear a lot about The Boring Company and this machine in the months and years to come (and we’re going to have to write about it), so you’d be helping us all out if you can come up with a half-decent name and tweet it to Musk here – even if he isn’t explicitly seeking suggestions. Thanks in advance.