Modificar archivo txt desde formulario

[AlvaroG]

tienes razón en eso, es la forma más simple.
Yo no lo había considerado porque estoy habituado a usar include solo con archivos php, pero hacerlo así es más simple que con file_get_contents


Saludos.