>>695 の変更はMypalの言語パックから取ってくる方が少し簡単かな?

mypal-lang-ja-28.13.0.xpiの
.\browser\chrome\ja\locale\ja\devtools\client から
menus.properties、webide.dtd、webide.properties の3つ(>>155
.\chrome\ja\locale\ja\mozapps\extensions から
extensions.dtd、extensions.properties の2つ(>>230-233
取り出して上書き、追加するといい。

Mypalは既に >>155 の変更は必要なくなっているので、修正されたらそのまま使えなくなるから注意する。