Do not lint if view.file_name() is not on disk (fixes #1).