Manchmal sind Dinge viel einfacher als man denkt...
Auf der Suche nach einem Programm (für Windows) mit dem man den Inhalt eines Verzeichnisses in eine Textdatei kopieren kann, habe ich - oh Wunder - herausgefunden, dass man das mit dem dem guten alten DIR-Befehl schon bewerkstelligen kann.
