In the browser war, Mozilla launches Firefox 4.