Delete htmlgen.py