Nowhere in that PR does the word "naked" appear. Shorting is perfectly legal, albeit virtually impossible on pinksheet stocks like this one (otherwise we'd all be rich).
There are several explanations for why their sample audit showed discrepancies.
If they really wanted to identify naked shorts, all they need to do is pull a NOBO/OBO list ad compare it to the TA records. Might take a couple days max.