Rename do.py to htmldownload.py