download.py: terser output, exponential backoff