I think

export

is much slower with a pex-based lockfile. Is this expected?