Some cusp-transitive hyperbolic 4-manifolds | Synapse