But Pip vs Pex aside, I linked a few issues re lockfile support. That seems like one worthwhile reason to dip back into the resolution game. There is no solving in that case which is what I most want to avoid re-implementing.