stuff I've found related to heartbleed