That is just the amount of known BTC he made from the Chipmixer campaign but what about the all the other known and other unknown/undiscoverd accounts that were used in other signature campaigns? The true extent of his manipulation may never be known though connected accounts might be discovered from time to time.
According to my back of the envelope computations:
figmentofmyass 3.693
exstasie 3.857
squatter 2.01
For a total of 9.56 BTC.
I don't care if it is too much of too low if those btcs came from exchange hacks or not.
This is money they stole from other people who didn't get into the campaign simply because they broke the rules.