in order to be consistent with the rest of the ERC/DRC reports, which
are not translated, we also shall not translate the severities listed
in those reports.
an ERC or DRC report without violations or without violations of a
particular kind does not tell the user whether there actually are no
violations of that severity, or if the severity was filtered.
we now list the severities by name that are included in the report.