We’ll update the GitHub code in the 4.0 branch early next week with the latest stuff, probably Monday. A new 4.0.2 “release” will be created for it. We’ll upload new dependencies zip files at the same time. You should probably wait until then and not attempt any manual surgery on your GitHub code drop.
We’re also planning to freshen the ‘master’ branch source code with the latest unstable changes from main. For GitHub users, we’re working on a process for getting you guys the very latest hot fix changes and (unstable) main branch changes very soon after they’re checked in and available to us. Stay tuned!