only list devpi-server and proxypypi as alternatives

I don't feel comfortable pointing people to these other
implementations...