Consistent diagnostic capitalization and redundant context elimination.