Tim Bray Wed, 18 May 2005 20:31:34 -0700
Isn't that redundant? From PaceOptionalSummary:
Yup. Think we got that covered. -Tim