The guy just announced to the world he is shorting MIcroStrategy and buying Bitcoin.