Hmm, the fix still hasn't made it into Tumbleweed. I don't really understand how packages migrate from the X11:Cinnamon repo into Tumbleweed, but can anything be done to accelerate the process? Thanks!