Text this: Compact Riemannian manifolds with exceptional holonomy