html2mail.py: renamed