Hide menu item for "devtools.chrome.enabled", if there is not default value for this preference
(SeaMonkey, Thunderbird)