The extension is easy to add and use. However, all the URL of the files still point to the online source. So if I download a page that has a link in the same URL folder and it is downloaded also, the first page URL does not point to the second dowloaded file. Very frustrating. I will have to write a script that modifies all the links.