Source: highlighting-kate Version: 0.6.4-5 Severity: grave Justification: renders package unusable This package has been deprecated in favor of skylighting. We should make sure that anyone using this package has migrated to skylighting and then remove it. -- Ilias