Re: [Hackage] #492: report 9 sorts "minor" severity before "normal"