So that upgrade to Ubuntu 18.04.1 didn't go entirely smoothly... but I think it's working now. Just in time for going to bed way too late!

I guess tomorrow I get to figure out how Gnome works.