Moduli spaces of positive curvature metrics in dimension four and beyond | Synapse