I think Kraken has been selected to redistribute the funds, but not sure if it has happened yet. These things take time, I think Mt. Gox took like a decade to be distributed
CGI is a terrible company known for going over budget and under delivering on a ton of projects. Not that many companies bidding on large government contracts unfortunately
Tried to play dota 2 on Linux, it has a bad memory leak that made the whole system hang after an hour or two. Plus it seems to get worse fps on Vulcan, but I read that it might just be a bad implementation in my card (6650 xt)
I've been disappointed by Nats. Core Nats is good and works well, but if you need stronger delivery guarantees you need to use Jetstream which has a lot of quirks, for instance it does not integrate well with the permission system in Core Nats. Their client SDKs are very buggy and unreliable. I've used the Python, Rust and Go ones, only the Go one worked as expected. I would recommend using rabbitmq, Kafka or redpanda instead of Nats.