There’s been a lot of concern about the OpenSSL Heartbleed bug, which is a vulnerability that allows theft of information that’s normally protected by the SSL/TLS encryption used to secure many Internet sites and services. Well, thanks to a tip from…