Back from experimenting! After upgrading both cinnamon and muffin (forcing my way through the typelib(Webkit) dependency error for now) using the cinnamon version from X11:Cinnamon:Factory, cinnamon will now start upon logging in, as opposed to crashing into IceWM right away! However, it does so in a half-working state state, where the menu applet does not show up in the panel anymore, and manually starting cinnamon-control-center gives me a blank window. I cross-checked that installing "typelib-1_0-WebKit2-4_0" does not resolve those problems, just in case. There is also an error about some applets and extensions failing to start (well, duh) and encouraging me to have a look at the LookingGlass logs. Following random internet advice, I thought those were in ~/.cinnamon/glass.log , but actually that advice was outdated. They are now in ~/.xsessions-errors . So, I looked at the wrong file at experimenting time and need to start over. Will do so later on, I do not have the time to finish this for now.