Final tweaks to "Installing Debian..." doc.