doc: Remove registry redirect stuff

This hasn't worked for a loooonnng time.  It's a hazard to have
in the docs and on th website.