Sorry for the spam, everybody: I didn’t expect this would be so chatty.