Comment on Error when installing from official Redis repository on Ubuntu