Come si fa a modificare l'estensione di tutti i files di un sito con un solo click e aggiornando anche tutti i link con le nuove estensioni ? Esiste un programma che fa tutto questo?