Yes. He was joking. In any case, the post in question was from years earlier than the period covered by the current actions. I doubt Matt has ever shorted a stock in his life. Obviously, it's way easier to profit by pumping.