dump: treat >20 footnotes as an error (causes "regressions", of course)
-rw-r--r-- 70 .gitignore
-rw-r--r-- 5122 31
-rw-r--r-- 66 Makefile
-rw-r--r-- 1218 analysis
-rw-r--r-- 47265 dump.c
-rw-r--r-- 111129 notes
-rw-r--r-- 2800 style
-rw-r--r-- 861 styles