>That leaves us with 6M shares, and with a short interest of 71M held short and ETFs like XRT buying them, it is likely there aren't enough shares.

This is a non-issue, see sibling comment: https://news.ycombinator.com/item?id=25961536