From this page you can download, as a single zip file, those files of the USB stick that Robert encountered . A partial release is already available below (a complete release will be available in January 2019).
Releases
- 2018-12-24: USBstick_2018_12_24.zip
- Disclaimer: This release is not complete, it contains only some of the files that Robert encountered.