updating config to use the new corpusdev servers instead note This uses 443 explicitly on the proxied servers, this might have an effect