Hi Jürgen: Congratulations and thanks.
I just tested the git clone and it worked. Then I did the Terminal waltz and everything was clean. This was on macOS High Sierra 10.13.6. I plan to repeat this on Mojave as well and will report back in due course. respect…. Peter
