Rename download3815.py to download.py