Curiously, I've made almost this exact same thing. In my case it needs to account that some platforms are a couple minutes extra walk. Given that we've both in

Curiously, I've made almost this exact same thing. In my case it needs to account that some platforms are a couple minutes extra walk. Given that we've both independently implemented basically exactly the same thing, I wonder how many other people would want something like this.