So grok left, and that's a bummer, but it's especially a bummer for me, the Superintendent - I think his agency still exists... there's nothing in the rule about Agencies that suggests it goes away, but I think the agency is fully neutered, as agencies only allow you to act on behalf of a player.
Also - this likely means that PSS's agency to allow anyone to re-register em will never be effective. Let's not CFJ unless we need to, but I think we need to modify the Agency rule to allow the destruction of non-player Agencies at the least (or they will live `forever`)