Ok, done. (Or at least, I’ve tweaked cycle.travel’s routing code and it’ll show through on the next routing update.)