The instanciation of the clipboard in the crash manager was not updated in the fix that upgraded the clipboard.js
1f7a39964b
8d9366197e