Unfortunately I cannot download the directory. No way. I really need it. I tried Github Downloader (GitHubFolderDownloader.exe) but this program returns some
exception and so no download is possible. And I tried to download it on
https://download-directory.github.io
but this either does not start to download or on W10 I got message that I have ad blocker on, which on Firefox should be not truth or I cannot really turn it off. And on Chrome I dont know how to do it. Would be here some good soul who would download the folder for me and zip it and upload it e.g. on Google drive?