Blog: Elon Musk’s hyped tunnel was a letdown. These readers weren’t surprised