No he didn't. At least there's not a speck of verifiable proof that he did. Or anyone else for THAT matter.
Those share trade numbers MEAN ZERO. 10 years of trading has given shorts PLENTY of time to cover - even if these shorts actually DID exist then - which they DID NOT.