24pmBot2
BCW volumes 12–14: merged reviewed compiler-note additions
09:12
+434
BCW volume 7: reviewed additions from B. de Zirkoff’s compiler notes
03:34
+558
