What has to be done to change the default browser from mozilla into e.g. opera or firefox (assuming that these are duly installed and operational)? The handbook talks about different browsers, but I have not been able to find a section about changing the default browser.