Hi Bastian, The repository how now been moved to the new location. An upload was done that, hopefully, closes this bug. If you feel there’s still something to be done on this bug, please feel free to re-open it.