We had reports that IE9 was not playing nicely with our new Quick Search. We figured out a workaround for it, and have just published this.

So, any of you using IE9 that had problems with the new Quick Search should be fine now.

Remember, if you had changed the toggle to turn off the new Quick Search, you will want to turn it back on.