Yes. That's why I'm not sure about the direction to fix it yet. This is probably the "right" way because the pathinfo of `/app.php` is empty `` and not `/`. This also how CGI and PHP ($_SERVER) behaves. But it would require other changes to UrlMatching for example, so that it treats `` and `/` the same. So I'm not sure it's the way to go.