Couldn't find any specific documentation on the short and symbol change situation yet, but did find this mentioned in a posted article from earlier this month.
Short or “Oversold” Positions:
There has been widespread speculation that there is a significant short position out on the stock. While it is impossible to prove on a definitive basis, it is our understanding that any short position, if it exists, will need to be covered before the stock begins trading under a new ticker symbol. The transfer agents will require a full accounting of all stocks held and certification of ownership prior to issuing stock under the new ticker symbol. Obviously, this will put substantial pressure on any holders who have profited by overselling the EFGO stock. If the short sellers do not cover their position, they will be facing a failure to deliver, and the very significant consequences that entails.