Random thought, but since #DivestOS has shut down, what happens to #Hypatia antivirus? Did it have other contributors outside of that project? Will they keep developing it? All the "donate" links on its GitHub go to the Divest page, but I'm not sure how independent Hypatia is or isn't. I use #CalyxOS and Hypatia is included or endorsed by them, so I'm sort of curious.