1126724: Use port instead of 443 for the url help text