Tools for downloading files from websites