Hahah! Even better, the ‘reset to defaults’ button also asks if you’re sure, using the same broken confirmation box. Luckily I remembered that when you re-install the nvidia drivers, it annoys you by resetting all the defaults for screen size etc, so that has got me back to somewhere sensible.

Here’s that confirmation box though.