Text this: Globular: an online proof assistant for higher-dimensional rewriting