I’ve been pondering the idea. I can’t come up with a good model of how paying it off would translate into eventual resale value.
Given that today it is a hidden cost, I feel that paying it off will be a hidden benefit, difficult to market to future buyers. “Hey, you don’t have to pay this thing that you already weren’t considering as part of the purchase price… That makes this house more valuable by X much, so pay me more.”