Werde aber, wenn überhaupt, erst weitermachen, wenn mir Boersenfeger auf meine Frage antwortet.
Hi, wie in #390 geschrieben, ist das Script, das ich zur Diskussion gestellt hatte, nicht das, was mir Pein bereitete, sondern Firefox_ToolBarButtons.uc.js, das ich nach Hinweis von 2002Andreas aktualisiert habe und in #392 bestätigte, dass nun mein Begehr erfüllt sei.