The facility to HTMLify a file from the command line has been broken since the severity filter was added. This gets it working again. Change-Id: I3cb0894014bfbf0e376b8bb60c8da738d93aaffb