This isn't a bug report. It's a Mozilla KB article about why they changed the search engine preference that you made.