The people shorting Twitter got together to buy a new yacht? Cool!