docs: def jsonify(result, format=False):
      ''' format JSON output (uncompressed or uncompressed) '''
  
      result2 = result.copy()
      if format:
          return json.dumps(result2, sort_keys=True, indent=4)
      else:
          return json.dumps(result2, sort_keys=True)