Update redundancy.txt