How deep does the London Tube go? | Hacker News Reader