Terrible.. about 200 btc lost in that hot wallet apparently?. Not sure why a pgp key had impact on the hack unless he had stuff stored in the cloud?