Given that it occurs in both FF and IE, no - it'll be on the server (a record in the database actually).
I'll go burrowing around in the database this evening when I've got some time to scratch around. I've got a pretty good idea as to what caused the problem - would I be correct in saying you don't use the search facility* often? (Or you've found it to be broken for about a year now).
*Excluding What's New which actually uses a different script.
Did you like this article? Share it with your favourite social network.