At least it's one of those injuries that players recover from in few weeks at most, thankfully. Still affected Badosa mentally a lot, who was in tears (yet again) after having to retire from a match.
At least it's not the back, but it could well be related. Poor Paula
I can't imagine she goes on much longer either, but you must admire her determination. And at least the AO semifinal made this comeback worth it regardless of what happens going forward.