My 1040 did not show a checkmark on "Check here if your main home, and your spouse’s if filing a joint return, was in the U.S. for more than half of 2025". We did.