docs: def jsonarrinsert(self, name, path, index, *args):
          """
          Inserts the objects ``args`` to the array at index ``index`` under the
          ``path` in key ``name``
          """
          pieces = [name, str_path(path), index]
          for o in args:
              pieces.append(self._encode(o))
          return self.execute_command('JSON.ARRINSERT', *pieces)