From what I got, the majority of the actual short would be hidden in some method of put-call options shenanigans (not sure what it is now, but there was at some point the equivalent of 2 times the float in $<2 puts a year out)