Le guide d'installation devrait-il indiquer aux utilisateurs d'exécuter d'abord apt update et apt upgrade ?

[Jonathan5]

Thanks. I was sure I’d convinced myself of the same thing somehow (from the forum rather than the code) so searched and found:

Git pull needed?

Hmm I think we should drop it at this point, two lines is more better than three.