Links to edit/delete SSH keys do not work.

When on the ssh-keys page, the buttons to delete/edit ssh keys do not work. There is a js error as seen in a Firebug console:

ReferenceError: BB is not defined

It can be traced to the following script found in the page:

setTimeout(function () {
BB.JsLoaded = true;
}, 3000);