Retirement tax questions

Thanks @fanfare - where can I find this on my 2020 return?  I think I did the default action, but I'll double check.  How does that change what I do and/or implications for getting my withholding back?

 

  Anyway, I never saw the $100k I requested from my 401k, because of the ~$35k withholding.  I just want to make sure I get that back (since I'm repaying the full $100k).