Document measures taken against OpenSSL's Heartbleed bug