cosmetic: remove some global variables
-rw-r--r-- 79 .gitignore
-rw-r--r-- 12320 diff2html.py