Minor updates to documentation for installing Debian.