I have on an old HP EliteBook 2530p here which still works perfectly for some office work or as a Distro Test Machine. Just installed Linux Mint 20.2 to get a feeling for Cinnamon DE instead of the resource hungry GNOME.
So far I really really like it. It is dead easy to customize with Cinnamon Spices and still quite sleek looking.
It could be a good alternative for Zorin to go in the post-gnome-era of Zorin OS 17 
OK I admit, I installed Latte Dock, so I had to also add KDE-Plasma-Desktop which again was super easy and didn't break anything so far.



