A general note: I maintain Pex and popped in to say you're likely better served asking questions in Pex discussions (https://github.com/pex-tool/pex/discussions), issues (https://github.com/pex-tool/pex/issues) or on its discord server at https://pex-tool.org/discord