file.py: show no_such_file.html if StoredPath is missing