are the pex releases from github built with the

requests

library? if not, do they support the

PEX_HTTP_TIMEOUT

variable? @jolly-midnight-72759 is seeing

./pants binary

(what pants version, btw?) go on without stopping, and the repo currently says the default for the variable is 15 seconds, but also that pex needs to be built with

requests

for that to happen. it looks like pip vendors

requests

-- does pex have a way to pipe in a timeout option?