For those who have not heard… https://forum.peppermintos.com/index.php/topic,9283.0.html
Very sad news indeed.
Wasn t aware, thx for sharing @manyroads .
Sad news as well.