Okay -- figured it out and committed that.  (Still can't find it documented, though.)