Comment 5 for bug 1878490

Done, here is the settings.txt

Oddly, while doing this I noticed that some extensions that I uninstalled long ago (even before upgrading to 20.04) where marked as active by gsettings. Pop-shell and cast-to-tv for example. I had to manually remove their entries using dconf.

I will run in this configuration for a while and see if the bug is still present.