Surgery and positive Bakry–Émery Ricci curvature | Synapse