Thank you very much for taking the time to send your feedback, I really do appreciate it :-)

Since this article is meant as an introduction to SSH, the commands indeed assume that this is the first time that keys are uploaded to the server.

F.J.