master.mint22

Remove "Linux Mint" Cinnamon theme

We use mint-y by default. We already also support mint-x and the default
theme as alternatives.