One would assume the key was simply pilfered as well vs the crypto being cracked, but that's just a gut reaction. Human opsec is almost universally worse than any crypto, even ones that have already been broken.