I recently installed Debian 9.0 on my primary machine (Pogo2011). This installation is dual boot with Ubuntu 16.04 and each OS booting from a separate hard disk, each with its own Grub installation. The machine had Debian 8.8 previously. I decided to do the Debian 9 installation as a clean install (rather than as an upgrade) because the 8.8 was a bit messed up (let me not go into that here). The Debian 9 install was done from a
netinst CD. It appeared to be a textbook-successful install. The post-install...