On Fri, Aug 01, 2025 at 12:42:16PM -0700, Jeff Davis wrote: > - <term><option>--with-statistics</option></term> > + <term><option>--statistics</option></term>
> - <term><option>--with-statistics</option></term> > + <term><option>--statistics</option></term> > - <term><option>--with-statistics</option></term> > + <term><option>--statistics</option></term> nitpick: --statistics should be moved to maintain alphabetical ordering. -- nathan
