Changing Hacker News URL to use HTTPS