> Is it not also the case that interest payments on a residential mortgage are tax deductible in the US?

They are only if you itemize your taxes nowadays. During the Trump administration the tax law changed so that the vast majority of Americans now take the Standard Deduction. I received the mortgage interest deduction for about 15 years but haven’t received it for 5-6 years now.