So is #DivestOS and their apps officially dead now? There doesn't seem to be any clear info on their website. Many people will probably unknowingly continue to use #Mulch or #Mull without any in-app notification. #Fdroid