Rename ops.json to ops.txt