Ich hab mir mal den Fasterfox 3.9.8 gegönnt, abwohl ich manuel

schon vorher einiges getuned hatte - geht ab, wie Harry...!

Mit dem Teil sind die von Dir gelinkten Änderungen leicht zu machen!