Comment 50 for bug 2034986

I'm investigating the flavors in this respect more systematically, and just found that a 23.04 -> 23.10 upgrade of Ubuntu Cinnamon is still hit by this issue (they use the schema org.cinnamon.desktop.interface ...). So adding the Cinnamon project for now.

I will soon come up with a proposal for mantic to deal with some details including the Cinnamon issue.