2 ms·

Also curious to know this! I've been using Mint & Cinnamon for about 10 years and haven't bothered looking at an alternative.