La guida all'installazione dovrebbe dire alle persone di eseguire prima apt update e 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.