When was the original suit filed? It looks like u got it over fast? These can take years. How long did this one take to settle?
It looks to me like this post is an announcement of the negotiated settlement, filed with the court in May 202 and approved in June.
I wasn't involved, I just happened to make the first comment on the thread
There's a link in post 9 you may want to check out