@User Do you know Make / git (submodules / subtrees)? Changing the repo to use make-env above would be very welcome