you don't actually need these. When `navigation.js` fails to find a route, it just says "screw it" and `window.location.href = ...`'s it up.