One should assume that they would have had to! They made normal shorts without first locating shares and recorded them as normal shorts. They would have been processed as normal shorts and had margin requirements.
Why is such basic stuff so confusing?
Trying to support conspiracy theories has that affect!
Market Data 
Markets 
AI
