Tips on Heartbleed recovery (other than "Change your password") | Hacker News Reader