Thanks for the response, Marguerite! But to be sure I understand correctly: When I check in Yast now (Software Management --> Package Groups --> Other Desktops), I see that Cinnamon itself is available in version 3.8.9-3.4, but that other Cinnamon packages are available in different 4 series versions, up to 4.2.1-1.1. Do you think I'll be safe to remove the locks and dup again when the available version reaches Cinnamon 4.2.2? Or does the problem Hadrien mentioned still have to be resolved?