New version of Peppermint OS has been released for those interested, First new release in 2 years. Now based on Debian 11 instead of Ubuntu.
Peppermint OS – The Linux Desktop OS
peppermintos.com