One can be happy for the devs and founders but also lament the loss of a great product.