A retiree’s dilemma: Pay off the mortgage or preserve super?