Cf. "A real-time 3D digital map of Tokyo's public transport system", https://news.ycombinator.com/item?id=37829061, Oct 2023