parseTeXlog: report warning instead of error when failing to parse properly
parseTeXlog: report warning instead of error when failing to parse properly
parseTeXlog: report warning instead of error when failing to parse properly