If I try to get a newer cinnamon from X11:Cinnamon:Factory, then zypper complains about the fact that nobody provides "typelib(Webkit)". Funnily enough, I do have a "typelib-1_0-WebKit2-4_0" package around, which provides "typelib(Webkit2)". Not sure if these two are meant to be compatible or not, but I'll try to install the Webkit2 variant if something breaks ;) By the way, kudos to whoever came up with the idea of snapper. Being able to try out system updates and revert them when they break is super-nice on a rolling release distribution.