С сегодняшнего дня поиск по этому сайту работает более-менее терпимо. По неясным причинам он и сейчас находит не все, но уже может быть реально полезен.
Обратите внимание на то, что искать можно как по всему сайту (напр., если использовать окошко на главной странице), так и в текущем разделе или теме. Иконка лупы слева от окошка поиска ведет в расширенный поиск.