one thing we have to solve for in ATProto is PDS migration. A user can move their data between providers, so must the permissions they put on them. One thing I've considered is essentially mirroring the permission granting triplet with the rest of their data. Is this something people do normally or in unusual use-cases with spicedb?