Ура!!!! Свершилось чудо! Локальная поисковая машина Google (Google desktop search) научилась индексировать pdf файлы. Как долго я это ждал. Теперь искать доки на своем компе стало намного проще.
(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)