The construction of a hyperbolic 4-manifold with a single cusp, following Kolpakov and Martelli