[Runfox]

Come ulteriore informazione per capire la differenza tra formato ed estensione, pensa ad un file video .avi.

Tu puoi rinominarlo in .mpeg (per esempio) e quindi cambiargli l'estensione, ma il video come formato rimarrà sempre un AVI, per cambiare tipologia di formato devi usare un programma di conversione.

Per ampliare, tu puoi rinominare una immagine .jpg in .mp3 (cambio estensione), ma il file rimarrà sempre una immagine; il problema è che tu non riconoscerai più tale file come immagine, ma lo considererai un file audio; ed anche il sistema operativo cercherà di "suonare" il file immagine e ti darà un errore.
Questo almeno su windows non so se Linux intercetta il formato oppure l'estensione.

Una generica pagina web, può avere estensione .html, ma se è costruita al momento può anche essere .jsp, .php, .asp; diciamo che una pagina web non dinamica ha estensione .html .