You keep saying this here but AFAIK they are not illegal. What are you basing this on?
It's absolutely unclear if that's the case here, and in fact based on the few extreme times short selling has been illegal I'd say this definitely does not get there.