parser = ArgumentParser(description='Checks tlaplus/examples manifest.json against JSON schema file.') parser.add_argument('--manifest_path', help='Path to the ...