Some utilities for the JSON pointers described by RFC 6901