The guy who signed that letter said two days after that payment was deposited that it was a mistake and they would take it back.  That's not what the law says, but these days it doesn't matter.  It will be allowed on a final 1040 for 2020, unless IRS doesn't track repayments and tells you that it was already paid.