What clients are proven to be vulnerable to Heartbleed? | Hacker News Reader