>
>
> Patch attached. This patch does NOT change the default; stats are still
> opt-out. But it makes it easier for users to start specifying what they
> want or not explicitly, or to rely on the defaults if they prefer.
>
> Note that the patch would mean we go from 2 options in v17:
> --{schema|data}-only
>
> to 9 options in v18:
> --{with|no}-{schema|data|stats} and
> --{schema|data|stats}-only
>
> I suggest we adjust the options now with something resembling the
> attached patch and decide on changing the default sometime during beta.
>
Patch is straightforward. Comments are very clear as are docs. I can't see
anything that needs to be changed.
