4 ms·

Unfortunately on some sites even generic google search (not limited to that site) is better than on-site search...