If a route ends with a / and the user forgets the / (and a similar route without a / does not exist),
then, the user will be redirected to the real URL:

If you have a /doc/ URL pattern, a request to /doc will redirect you to /doc/

This is especially useful for the root URL (/):

/index.php (which does not make sense as the path info is / at a minimum)
redirects to /index.php/