Follow redirects on external hostnames

We shouldn't assume that every website will be as good as we try to
be when changing URLs. While they redirect now, they could stop
working at any time, so we should update the service manual to
reflect the canonical location.