Ah, thanks. I missed that, and haven't checked in 2 months. I actually have HTTPS Everywhere, but it didn't find it for the reasons you mention. If anyone at

Ah, thanks. I missed that, and haven't checked in 2 months. I actually have HTTPS Everywhere, but it didn't find it for the reasons you mention. If anyone at HN is reading, the certificate doesn't work if you visit via news.ycombinator.org (vs .com). It would probably be better to just make that a redirect to .com, rather than what appears to be an alias.