Probably most of it is. I can't imagine why anyone would go long. If the SEC revokes registration, shorts probably wouldn't have to cover, though I'm not sure.
But the process, whenever it's initiated, will take at least several months. As earlier conversations here make clear, ever since the halt, shorts have been required to keep up their margin, and have also been stuck paying daily fees. So naturally they want out.