>
> 0001 and 0003 were by far the most urgent items to handle for v19 (and
> actually the less risky ones). Without 0002 for the moment, it still
> means that we could miss some stats at dump/restore due to the
> NULL/empty change introduced in v19 when upgrading from v17/18, but at
> least we are clear for any future moves, or when doing a dump from
> v19.
I agree with your prioritization - 0002 can wait a bit.