$ETH shorting fortunately ran away early, otherwise it would all be for nothing