After you file

I continued on despite the non-zero refund amount and discovered that I had already entered the information in April 2019 even though the credit wasn’t yet available. So the $462 credit is the actual amended amount. Yay.