Thanks you both! Thanks to you I use a suitable reference to the repo now! My first tiny commit landed in the new repo AFAICS.
Note that I had wrongly filled out the form for the ssh-key on the savannah platform. Clearly this is my fault. BTW the documentation is all there on the savannah page (or linked.) Eli and friends added me to the system a while ago--professional as always. Further I'll also try to have a look at the CONTRIBUTE file after it will have been updated. Of course! Thanks again and have a nice day!
