@samueldr hey, having spent a day fiddling with postmarketos, I'm already wishing I was using nix ;-) Would you hazard a guess whether samsung maguro (galaxy nexus, ~2011) wld be a difficult port? Alternative I have is moto g5 plus which looks a lot like the addison 1/
(maguro) hard port? Not sure. I think the main blockers would be how it's an earlier samsung device, so the boot chain differs a bit, but probably not in a problematic manner. Since postmarketOS has a maguro port, you have a helpful guide.