Thanks to Mike for pointing out a problem with the comments. While debugging it, I rediscovered what a mess the b2 comment code is, but I’ve cleaned things up quite a bit now. Why is everythi…