"We have an auto-completing search box, to help you find pages faster." TVTropes has a terrible search function. It doesn't work with adblocking browser addons and I generally used Google to search in it. Older versions of it were worse than the current one.