I do not think they have ever bought a single share with that $100M approval last year. Imagine 76M of ADS taken of the table with the current stock price, half the stock. That would be nice.
They did buy shares, somewere around 5-6 M for sure, was in one but latest report, but no news in latest report, i asked about it per mail, no answer (yet).