https -> HTTPS (for consistency with the rest of the article)