JSON pointer: Difference between revisions