Ein Update auf die neue Version kann man sich aber anscheinend schenken:
http://www.chip.de/news/Firefox-9-Mehr-Speed-und-Touch-Gesten-fuer-Mac-OS_53321016.html
Ein bißchen schneller ist er also (angeblich) und das war es dann auch so ziemlich. Zumindest ist jetzt der IE bei der Versionsnummer eingeholt. Hurra!