The `pex` and `pex_repo` functions are "weird"; what's the purpose here?