You're right however I think you already answered your own original question. What is illegal, from the sec link you posted, is naked short selling to the point of market manipulation.