das ist beides völlig überflüssig und kann weggelassen werden, weil about:addons von der entsprechenden @-Regel auch ohne das bereits abgedeckt wird.
Das habe ich jetzt probiert, alles komplett raus, und es geht auch so. Danke, Sören, wieder was gelernt.