Неоднократно им пользовался, и все работает. Но я всегда делал справки простенькие без скриптов и прочих вкусностей.
Сейчас же декомпилировал имеющийся файл справки, подправил его и откомпилировал обратно. Поиск есть, но к сожалению не работает, возможно из-за скрипта tools.js
Вобщем, пока занят другим делом, отложил эксперименты до времен, когда будет больше свободного времени.