OK, it works! The problem was, I had an old obsolete ~/.ssh/known-hosts file that I needed to delete, and then I had to create a new one.
Thanks for your help, Valentin _______________________________________________ bug-lilypond mailing list bug-lilypond@gnu.org http://lists.gnu.org/mailman/listinfo/bug-lilypond
