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