il file si chiama Pippo.html chiunque inserisca pippo.html, diventi in automatico Pippo.html
questo problema lo puoi risolvere mettendo il nome dei file nel file.txt scritto tutto in minuscolo e invece di fare
codice:
$nom=$_POST['nome'];
fai

codice:
$nom=strtolower($_POST['nome']);
se vuoi trasformare il primo carattere puoi fare con la funzione

ucfirst()