Not sure what happened, but the menu buttons to logoff, restart, shutdown don't work. Have to reboot via
the terminal.
Can I "upgrade"...