Regular black holes: Electrically charged solutions, Reissner-Nordström outside a de Sitter core | Synapse