Leaking is vague. What part of what law?
It's not vague. I'm not a lawyer but usually cases of trading with insider information are taken very seriously. It's theft, basically. And the scale here is enormous.
Leaking, insider trading, and theft are different. And laws contain specific definitions.
There is evidence of him tweeting insider information.
Again I'm not a lawyer, and I don't care what law is applicable here. But surely this warrants further investigation.