Debt management

Just to be clear.  I withdrew the 10K in April 2023.. 3 years later. I forgot to mention that.