Bueno, ya lo voy consiguiendo gracias a su ayuda.
Espero que a alguien más le sirva, al menos a principiantes como yo
Otra cosilla, intentando mejorarlo para que me permita modificar lo que ya he escrito ¿qué habría que poner para que mostrará lo que ya contiene el txt?
echo "<textarea name=\"texto\">
??? </textarea><br><br>\n";