Fixes #4659: adjusted nginx config in docs to serve 404 instead of "no input file specified" when accessing non-existing PHP file