In der Beschreibung der Firefox-Extensions hat sich etwas getan. Ich habe das SwitchProxy Tool und WebMailCompose zugefügt. Außerdem wurden die Tabbrowser Preferences durch das wesentlich leistungsfähigere Tab Mix ersetzt. Gerade für die letztgenannte Extension lohnt sich wirklich die Beschäftigung mit diesem Thema!