refs #6231 When a line is for a file with a known download extension and the...

refs #6231 When a line is for a file with a known download extension and the user has specified --download-extension,
then any file with an extension not in the list will see its log line skipped