lennertcl

For reference, I managed to change the file using this code: ```python with open("original_file.json", "rb") as f: with open("updated_file.json", "wb") as f_out: while (byte := f.read(1)): if byte == b":":...