This adds the server to the remote-server-not-found error (fixes #9621 (closed)).
remote-server-not-found