Yep. I doubt that, even when this traded in the .60 range, if there was any retail shorting.... maybe shares could have been found to use for shorting, but, even then, the hard and fast rule that $2.50/sh in marginable securities would have to be put at risk would have applied.
I wonder what percentage of pinkie players even have much in the way of marginable stocks in their trading accounts..