SMS dit: Compact Riemannian manifolds with exceptional holonomy