Oops. Using the `///` form obviates the need to escape `/`, but not `*` of course.