This is amazing.
One thing must not be missed though: HF23 was completed. And it was completed in a way that proves that it was planned and controlled by Justin Sun. This means these funds were forcefully removed from their rightful owners. That they were returned by this Ninja-act does not change the fact that THIS WAS THEFT.
If I was you, I would still push legally and bring his ass in front of a judge.
That's true, even if the funds are recovered and returned, the theft did happen as intended. And it WAS theft, outright and clear.