"If memory serves me correctly, there have been 1 or 1.1B retired out of the proposed 1.8B. It was also stated by Bill, on Twitter, that the company will continue buying back shares after the 1.8B buyback is complete"
That's is exactly right and it coincides perfectly with what Bill tweeted on December 29th!