subjektives Lässt sich im neuestem DokuWiki-Release das Plugin DocSearch installieren oder gibt es ein anderes empfehlenswertes Plugin zum Indizieren von PDFs damit diese auch durchsucht werden?