I've extracted the saved search using a handy Chrome extension, so I'm pretty confident I'm running an identical search.