https://blog.json-everything.net/posts/better-json-pointer/