I'm using arch linux right now, and am looking for further customization of my desktop. I have heard mixed things about Cinnamon's ability to be customized, but I figured I'd ask reddit about it lol. Is cinnamon good for customization? or should I stick with gnome? if so what are some extensions you'd recommend