Leider weiß ich dazu keine Antwort. Ich habe jetzt doch umgeschwenkt und bin dabei mir ein offeneres System zuzulegen, sodass ich auf unterschiedliche Weise auf meine PDFs/Notizen/etc. zugreifen kann. Aber dass die Indexierung etwas dauert könnte ich mir bei 600 Dateien gut vorstellen.