Delete htmlgen.py~