Now, this is more like it. I wasn’t aware of the add_ssh_keys step. In my humble opinion, this should really be the de facto way of managing scenarios like this. But some official replies and documents are sadly pointing the other way.
Thank you very much, @FelicianoTech.