No, he would have immediately replaced the mods with internal people and internal bots, and turned off the "private" option. Frankly, I expect he'll do that anyway, or, in 30 days, a whole bunch of them will be going up on RedditRequest - with a new group of powermods.