After some recent update to Ubuntu 20.04, some settings in the Gnome Settings app have not been restored after waking up. This is on a laptop. I use Settings to set the external mouse to natural scrolling direction and sound output to the built-in audio. After opening the laptop lid, those changes are lost, and the natural scrolling direction is off and the output sound device is different (I have this Lenovo Yoga L13 connected to a dock and four sound devices are shown. The one that waking the laptop gets the sound device set to is a digital output device that I'm not even familiar with).
I can't find out where the Settings values are stored, so I haven't been able to check if there's a permission problem. I don't see any similar reports to this, here are in the Internet at large. I suspect this is specific to my computer, but I don't know what to check next.
Thank you for your help.