That was my first question as well. But for someone who stores private keys of coins worth billions of dollars on google drive, I don't think using a mixer was a big concern.
They couldn't even bother to use strong encryption on the file of private keys. Crypto 101: never store private keys online.