Firefox 3.5 is released