I've renamed `proxy` to `router_proxy`. Even if we already have a router entry and even if it does not use the Router component, this is still the best name that describes what it does: it routes a request before the default router.

I'm open to change it again to a better name, but I cannot think of one.