Thing is nobody will know for sure what happened except for Luke and the attacker (if there is one).
I do agree that I did not expect a core dev to store 200 BTC on anything but the coldest of storages. It would be a way to avoid future tax though..