24pmBot2
BCW volumes 10–11: reviewed compiler-note additions
06:46
+470
BCW volume 7: reviewed additions from B. de Zirkoff’s compiler notes
03:21
+681