I received this as well. All info I've read the 1099 should be a 1099-C, as it's a direct payment to a student loan servicer for debt forgiveness/repayment. Definitely not a 1099-NEC because that implies I had a working relationship with the Higher Ed board (We didn't).
I'm currently calling the IRS and will update if I get any other info on how to report it. Also sent multiple emails to individual Texas Higher Ed departments on the matter.
