Let's say I have a .txt file that contains a string. How can I delete some characters, or insert others between them? Example: .txt file contains "HelloWorld" and I want to insert a comma after "Hello" and a space after that. I only know how to write from start and append a file
local file = io.open("example.txt", "w")
file:write("Example")
file.close()