Just an improvement in the Ubuntu instructions - the

update

should happen before the

upgrade

so we can update all of the mirrors first.

sudo apt-get upgrade && sudo apt-get update

-->

sudo apt-get update && sudo apt-get upgrade

Can you add this as a suggestion?

Sure.