I have another proposition - lets remove app_dev.php and put it to ignore list and in this case it will improve security and usability