1) "Heartbleed" was a great name, while by their own admission, "badlock" doesn’t mean anything in particular. 2) The Heartbleed page explained the bug; the Ba

1) "Heartbleed" was a great name, while by their own admission, "badlock" doesn’t mean anything in particular. 2) The Heartbleed page explained the bug; the Badlock page doesn’t seem to do so!