Ricerca all'interno di manuali e collezioni

Sia le ricerche globali sia le ricerche globali finalizzate (ovvero le ricerche eseguite con il menu Ricerca in) considerano allo stesso modo tutti i tipi di manuale. È possibile, tuttavia, effettuare le ricerche solo all'interno dei manuali basati su XML: non è possibile effettuare ricerche all'interno dei documenti HTML o dei manuali solo PDF.