docs: def jp_split(s):
      """ split/decode a string from json-pointer
      """
      if s == '' or s == None:
          return []
  
      def _decode(s):
          s = s.replace('~1', '/')
          return s.replace('~0', '~')
  
      return [_decode(ss) for ss in s.split('/')]