in 4.0.4, I'm not sure if this is a bug, but it can be turned into a feature

Switching themes also clears the search history.

btw--I couldn't try Philippe's Amber theme: got the message to update, but couldn't find an updated Amber. Nice page though (especially the wry descriptions of each theme)--I hadn't seen it this year.