(For those after the gory detail - when we moved over to a new server, the search index didn't make it across, and the the scheduled task to build the index hadn't yet run. Whoops :-().