nel caso di file .html puoi modificare l'estensione del file, spesso è capitato pure a me di scaricare file da rapid che fossero, per esempio "video.avi.html" oppure "video.rar.html", penso quello che uppa i file metta quell'ulteriore estensione per ovviare a questioni tipo copyright... cmq basta mo...