24pmBot2
BCW volumes 12–14: merged reviewed compiler-note additions
09:17
+423
BCW volume 6: reviewed additions from B. de Zirkoff’s compiler notes
20:06
+765