Hi @jeffo45 , I am in the similar situation. My wife and I are not US citizen nor green card, but we meet Substantial Presence Test so we should do the regular 1040 married file jointly, not 1040NR.
Sold my home in 2022 and both me and my wife got a 8288-A, 5% withholding for each of us. I also did some research and as you mentioned, they are all referring to 1040 NR, which does not apply to my situation.
From what I know at this moment, I should do the 2022 tax return as usual, by the end of TurboTax, instead of efile it, I should print out, attach the 8288-A, and mail it, then wait for IRS to process it, which may take a couple of months.
