Managed Server Version 5: website: add http_redirect_dest parameter
This change adds the http_redirect_dest parameter to each website. On SSL enabled sites, we create a HTTP redirect vhosts which redirects all traffic to https://$server_name$request_uri by default ($server_name reflects the first host name defined on the current website). If you want to change this behaviour somehow, for example by keep the current hostname of the HTTP request, you can set http_redirect_dest to another value like https://$host$request_uri.
Furthermore, its possible to set the redirect destination globally through website::http_redirect_dest.