Uniqueness of extremal charged black holes in de Sitter | Synapse