I have an easier way to get around that search bug when it occasionally affects me - remove focus from Firefox's window then return to it (I usually hit the Winkey twice to open/close the Start Menu) - much faster, plus I like to keep my firefox sessions open for the duration of my boot time