Some utilities for JSON pointers described by RFC 6901