“DM,” who had been flooding this blog with threats (which occasionally got through the spam filter and other trapping devices), finally seems to have overreached. We’ll see if he stops. It would save me some time and general headaches.