Entweder sie haben's mittlerweile gefixt, oder meinen Firefox juckt's nicht.