the share retirement was planned long before he was able to make the amazing deal for debt retirement. Keep in mind, he retired over 1B shares, dilution for the debt retirement only cost us about 80M shares (as insta calculated)
The retirement was done by retiring 1.5 billion of preferred shares. Cleaning up this last little bit of debt will not add back what was retired. Once debt is clean I would not be surprised to seen another round of shares retired after the first of the year.