CheckForRedundantCorrectives now case-insensitive

readme updated, too