Distinction between GITLAB_GRAVATAR_HTTP_URL and GITLAB_GRAVATAR_HTTPS_URL