Cinnamon desktop is great. I don't need a pomodoro timer to manage my activities, because I can just wait until the next time it crashes.