Yup; although I don't really follow options and don't short, it's pretty clear the the $20 - $21 range has been nearly a rock-hard signal for a quick $1 - $2 payoff. If it breaks through that level (and it's probably going to be tough, because I don't think $23 will scare them; more likely to draw them in), I think the shorts will jump. When, though? :)
Q3 on November 2nd, we'll see then. What scares me is that only like 2 or 3 percent of AGO is traded by people like you and me. That means that all that short interest is institutional, and they know a hell of a lot more than I.