> Thanks for the accurate information!
> There was a similar problem a week ago, and it eventually worked
when
> the user tried with a new key.
> I can only suggest you do the same: upload a newly generated public
> key, wait for an hour and check whether it works.
> If changing the key is not an option, try to remove the key, wait an
> hour and reupload it.
Still the same problem, unfortunately. I've tried removing the key,
uploading a new key, changing machines : it looks as though I cannot
get away with it !