[Jozsi01]

I can add that the files are compressed with gzip. They can be uncompressed to the original html format (eg.: mv ab.html ab.html.gz ; gzip -d ab.html.gz )
I don't know what format is the 'words' file - maybe some known dictionary format...