>>535,536
大変有用な情報をありがとうございました。とりあえずここまで来ました。

(function(){
gBrowser.updateTitlebar = Function();
var mainWindow = document.getElementById("main-window");
var originalName = mainWindow.getAttribute("title_normal");
var pagehost = document.domain; // <- ここがわからない
document.title = pagehost + " - " + originalName;
})();

あとは location.hostname あるいは document.domain を使う必要があるのですが
上記コメントにあるように、その取得方法がよく分かりません。
(あと gBrowser.updateTitlebar = Function() の再帰っぽいのもよく分かっていません)
再度アドバイスをいただけないでしょうか。よろしくお願いします。