Both this and the subsequent text on differential geometry are very good but they are written against this enormous undocumented scheme library (scmutils) that

Both this and the subsequent text on differential geometry are very good but they are written against this enormous undocumented scheme library (scmutils) that is in my opinion very difficult to debug or figure out how macros expand out.