it consequently raises the cost of borrowing on someone who paid back the full loan plus interest
This is mostly likely untrue because she was paying off her debt the whole time she had the loan, and her credit score and history were probably improving that whole time. Maybe her score went up 300 points over the years of that loan, and then dropped 35 points.