Debian has been upgraded to Debian 9 (Stretch)

PRETTY_NAME="Debian GNU/Linux 9 (stretch)"
NAME="Debian GNU/Linux"
VERSION_ID="9"
VERSION="9 (stretch)"
ID=debian
HOME_URL="https://www.debian.org/"
SUPPORT_URL="https://www.debian.org/support"
BUG_REPORT_URL="https://bugs.debian.org/"

     Because an in-place upgrade failed, a full install was required.  Consequently, some of the programs that were previously available may not be installed or may not be properly configured.  If you encounter something that is not functioning properly or is missing, please e-mail nanook@eskimo.com.