this question came up the day that 7.2 came out, and was asked again a few other times. But, very few people include a reasonable subject, so that I could not unearth it. However, I know of an extention which works. I have 28 Search engine to choose from! http://mycroft.mozdev.org/
UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) (CK-SillyDog)
A minority may be right, and a majority is always wrong
~ Henrik Ibsen
WinXP, SP3, 512 MB, SM2.17.1, FF21, TB17.O.5, IE8.0, Google Chrome 26, Ghostwall , Kingsoft5.6, JRE1.7_21.