After you file

It's good that you still have a refund even though the 2020 overpayment wasn't applied.  otherwise, if the adjusted amount would show you owing the IRS would undoubtedly be sending you a bill.