>>300
これであってますか？
(function()
{
[
["menu_openAddons", "Add-ons"],
["menu_preferences", "Options..."],
].forEach(function(attrs) {
var menu = document.getElementById(attrs[0]);
if(menu)
menu.setAttribute("label", attrs[1]);
});
})();

オプションしか変わりません・・
アドオンのとこ弄ればかわりますかね