The mobile theme that I was using did not work with the “search” plugin that I was using. I have installed a new plugin that can switch to a different theme for a mobile device, and it seems to be working. If you have been viewing with your mobile recently, then you will probably notice the difference – but at least the “search” will now work properly, he says hopefully!!