Fixes #5561: Correct SSH key distribution Technique (was non-convergent when adding keys)