Thanks, I hadn’t heard of /e/os until now.

I’m kind of surprised just how big this space of DeGoogled Android is right now. Far bigger than 6+ years ago when I last looked into it.