Schedule A spells it out.
So in Quicken's Tax Planner, I overrode the "Real Estate and Other Taxes" to be $10k to try to capture this limitation.
I also overrode sales tax paid (which I optimistically still track) to zero.
Question: is there anything else which needs to be done to make TP more accurate in this area?