Last year, the internet needled Elon Musk for tweeting he had verbal approval to dig a Hyperloop tunnel in Washington, DC, because officials said they granted no such thing. Now, however, The Boring Company does have an honest-to-gosh written permit,
