Reply to thread

To integrate the changes into the main branch, we need the source code on GitHub. Then we can push the changes into the release. The file list will not help much, because someone has to make all the changes, but except for the author, it is unlikely that anyone can do this without errors.