Ich erinnere mich gerade... es gab schon einige Alternativen, jedoch funktionierte keine einzige mit dem Foxit PDF Reader. Auch eXtra Buttons funktioniert damit nicht... Am Ende bin ich trotzdem bei eXtraButton geblieben.
Habe es eben komplett gelöscht - auch aus der Registry und stattdessen das kleine Tool in den Autostart verschoben. Das funktioniert zwar auch nicht mit dem Foxit PDF Reader, aber es verursacht erstens keine Abstürze mit den Mozilla-Produkten und zweitens arbeitet es zuverlässig.
Vielen Dank! :klasse: