Vielen Dank für Eure Hinweise!
Maßnahmen zur bookmark.nsf, cache.dsk, desktop.dsk waren nicht zielführend, eine frische notes.ini habe ich nicht ausprobiert.
Tatsächlich konnte ich in Anlehnung an Euren zweiten Vorschlag die Problemlösung herbeiführen. Ich habe die vermissten Dokumente kopiert, eingefügt und die Kopiervorlagen gelöscht. Die gedoppelten, hineinkopierten Dokumente werden - obwohl inhaltsgleich zu ihren Vorgängern - in der bisher problembehafteten Ansicht angezeigt. Scheinbar lag es also an einer fehlerhaften Indexierung der Altdokumente.
Gruß-Berti