some footnotes work (76 errors).
-rw-r--r-- 70 .gitignore
-rw-r--r-- 5122 31
-rw-r--r-- 66 Makefile
-rw-r--r-- 1218 analysis
-rw-r--r-- 39156 dump.c
-rw-r--r-- 110024 notes
-rw-r--r-- 2800 style
-rw-r--r-- 861 styles