удалить / удалить навсегда инструменты разработчика firefox

после последнего обновления до firefox 28 я не могу отключить инструменты разработчика. Я хочу отключить его, потому что он переопределил горячую клавишу firebug (ctrl+shift+c).

Я пробовал о: config и переключиться на false все с devtools.*.enabled

перезапущенный firefox - эффекта нет. Как отключить эти инструменты разработчика или даже удалить его?