Как известно, при помощи файла userChrome.css можно убрать, добавить или переименовать любой пункт главного меню. Собственно, вопрос из темы: а как узнать, что именно писать в этот файл? Вот например, чтобы убрать из меню букмарков папку панели букмарков нужно написать:

#bookmarksToolbarFolderMenu, #bookmarksToolbarFolderMenu + menuseparator {
    display: none !important;
}

Никогда бы не догадался, что это именно bookmarksToolbarFolderMenu. Есть ли универсальный способ, как узнать это? Поиск помог установить, что это можно делать при помощи ДОМ Инспектора, но мой инспектор показывает названия элементов только отображаемой страницы, а не интерфейса самого фокса.

File » Inspect Chrome Document…

Огромное спасибо!