GetTor automatic update seems to be have been broken again

https://TheTorProject.github.io/GetTor/ sticks at 7.0.7 whereas the newest version is 7.0.10 (!!!)

Seems to be caused again by the Unix-systems release only.