The remaining problems on Ubuntu 20.04:
1. The brightness control keys don't work. They generate the event they are supposed to generate then I see an error in syslog. Workaround: two hotkeys bound to windows+fn+brightness up/down to run a bash script that increases / reduces the backlight level.
2. The screen works at 40 Hz since Ubuntu 18.04. I expected to be unusable but actually I can't notice the difference with 60 Hz. Noveau works at 60 Hz but it's unusable for other reasons (I don't remember the details, I checked months ago)
Problems I had because of the NVIDIA driver: the laptop didn't shutdown, only restart. Workaround: I press the power button right after the restart, when the BIOS shows up. Not a big deal because I shutdown a couple of times per year.
