doc update: use apt-get instead of aptitude for Debian and derivatives
Merge branch 'stable'