@aral In any case, I'm hopeful that there's sufficient momentum and consensus now that he will cave to pressure and defederate them. But it will likely take a while still...