Update redundantletters.py