I was right about ATProto key management