Extract a list of files from a folder and paste it into a document, in MS Windows, GNU/Linux and macOS.