Only 5 years is surprisingly short, probably because it happened outside the US. I’m curious what punishment the other dev will get in the US courts

It’s insane. He is being punished for developing open source software.

Check a few news sites maybe. Here you go.

https://www.wired.com/story/tornado-cash-developer-found-guilty-of-laundering-crypto/