Fix lots of footnotes, 16 left.
-rw-r--r-- 70 .gitignore
-rw-r--r-- 5122 31
-rw-r--r-- 66 Makefile
-rw-r--r-- 1218 analysis
-rw-r--r-- 39437 dump.c
-rw-r--r-- 110480 notes
-rw-r--r-- 2800 style
-rw-r--r-- 861 styles