From my limited research and understanding, Nvidia makes Linux drivers, but they’re closed source. These work fine. They open sourced some stuff but not enough to really change much yet.
There are also FOSS drivers, but the performance for those vary.
Is this correct? Should I stick to proprietary drivers if I want consistent performance?
I had assumed that Linux Mint (with Cinnamon) users Mutter, but apparently it uses something called Muffin instead. But if you are seeing these other options then I assume you did not install the Cinnamon version but the XFCE version instead. I guess they don't package it correctly or something, but XFCE and xfwm should be robust enough to handle closing a laptop lid correctly.
(in other words, i don't know what the problem is but I think I'd recommend just using the standard implementation -> Mint with Cinnamon)
deleted by creator
Never mind. It doesn't work lol.
damn.
Well if nothing important is on that computer, I would suggest a more conventional installation.* For instance, if you choose Mint I'd pick the option with Cinnamon, which shouldn't be that heavy even on an old laptop and would have the best support for that distro. I mean, I just run regular Gnome (in Fedora Linux) which basically has the reputation for being the heaviest desktop environment on my 12 year old Thinkpad X201 and it performs just fine. And certainly without any issues like the lock screen not working correctly when I close the lid.
*I'm implying a reinstall but you might be able to get away with just installing the Cinnamon packages and switching your display manager/environment to it.