Ah ok — student loan debt is generally at a lower interest, where it makes sense not to over extend to pay it off, so I didn’t mean that. But credit card debt is usually very expensive, to the point where it might make sense to get a consolidated loan for the taxes and pay off the credit card. (I forgot about the taxes.)
But I guess my main point was that if you end up with a usable amount after taxes (hoping it’s less than you expect! I have no experience with that…), a painless way of saving can be to pay it off and then pay yourself the interest back into your savings. You were ‘spending’ that amount monthly anyway, so you could do a Digit-like auto-transfer without impacting your cashflow.