Tux has replaced the missing BTC.
oh wow. How many BTC are we talking about here? So can I now log in to my own account from some foreign VPN or Tor, withdraw my own bitcoins and claim I was hacked and get free BTC? Or do I have to have one of those "staff" labels to qualify?
he spent 17000 BTC bailing out Bitomat. he could've just let them and their btc holders die on the vine and he would've been better off than buying a worthless exchange.