The truth is that he has hardly been active this year.
I have also searched, and I could not find anything in relation to inactive merit sources. As far as I know, they will continue to be merit sources until the admin decides to replace them or remove them entirely, just as he did last time when he approved more than 15 new merit sources and replaced old inactive ones. You just have to be patient until the admin has time for the merit source update.
But do we know if he is still a merit source and has not been removed with the changes they recently made? Let's see if we are speculating and he is no longer one. In any case, it seems that theymos made a thoughtful decision when he decided to appoint new merit sources and remove some, so whether it was one thing or the other, he must have had his reasons.