OK, so they've changed BrowserID to Mozilla Persona. How reassuring, I don't recall being notified of such a change.