This non-JSON file must be ignored by the scanner.
