Sounds like they made off with $900k of currency that had belonged to the users of the service before they got involved, no?
What you wrote made it sound like "Tornado Cash" as in the privacy tool got hacked, which would lead to the assumption that its operation was disrupted or it was proven insecure, so just wanted to clarify that is not the case.
One developer got sentenced to 5 years in the Netherlands, one is still at large, and one… is now fine because of a change of US policy? Do I have all that right? I couldn’t completely make sense of it.
I believe Roman Storm (the one in the US) is still facing charges, but it's way more likely to go well for him after the precedent set in the sanctions case. The way that case went isn't directly because of US policy, though the choice not to appeal to a higher court could be considered a result of US policy. It's still possible he'll lose and get sent to prison.
Here is a reddit thread and an article that give a little more context. Governance (voting based on how many TORN tokens you had) was only over the non-immutable parts of the project (like the domain for the website), which were all replaceable and not strictly needed to use it. TORN was initially airdropped to wallets that had used Tornado Cash previously in a one-time event, they then mostly sold it on the market. TORN tokens weren't needed to actually use TC, and the money was coming from a separate group of people trying to invest, rather than users.
So I guess it could be fair to say the project as a whole got hacked, but I think it's a crucial detail that the smart contracts under legal scrutiny in the sanctions case here, the ones that had user's money-to-be-anonymized in them, were not.