Fixes #5561: Correct SSH key distribution Technique (was non-convergent when adding keys)
Merge pull request #535 from Kegeruneku/bug_5561/int/5561_correct_ssh_key_distribution

Fixes #5561: Correct SSH key distribution Technique (was non-convergent ...