Regularly I got a ‘white noise’ screen after closing/opening the laptop lid without logging out. Apparently that is a graphics driver issue. Luckily there is a simple way to switch over to the proprietary Nvidia driver.
As I was sitting on the coach I wanted to do this via remote desktop from my Windows computer. Also that was quite straightforward.
Still have to test the new graphics driver, though…
And update, one day later:
OUCH. Restart does not work. Everything dead. Not ssh connection. Reboot aborts. Black screen. Need to re-install everything.