I'm having several problems with Cinnamon. After locking my screen once or twice and logging back in, it becomes incredibly laggy. Windows open slowly, workspace switches are pretty slow, and there's an increase in RAM usage. I used htop to look at my running processes while Cinnamon was lagging, and found that four different iterations of it were running, as well as four different iterations of my window manager, Muffin. This problem is easily solved temporarily by logging out of the session entirely and logging back in, but that gets quite annoying and inconvenient. I'm wondering if anyone else experiences this issue, and if anyone has a fix for it.