esiste un modo (magari uno script) per estrarre delle informazioni dal sorgente di una pagina web. Basterebbe una funzione per salvare il sorgente di una determinata pagina come file. Sapete come si fa?