cosmetic: replace "type" by "type_name"
-rw-r--r-- 79 .gitignore
-rw-r--r-- 11928 diff2html.py