There are more than one kind of short... https:
Post# of 148168
https://www.investopedia.com/terms/s/sellagainstthebox.asp
I'm sure they haven't "sold one share". Anyone using that strategy sure as h--- won't be advertising it... this is why they stopped here, to not threaten their holdings too much.