FreeCAD is doing a really substantial rewrite right now to completely revamp their topological naming system, which resolve a meaningful amount of pain points. It may bring it far enough to be a viable option.

We’ll see.

I find this to be a good resource: shucks.top

Edit: just saw you mentioned this. Oops!

I didn’t have strong feelings about it, and had extensive experience with LineageOS. I just stuck with what I knew.

I bought the 4 from Mureno with e/os/ on it.

This is true. Hopefully they will soon sell the 5! I tossed lineageOS on mine, and have felt pleased with it.

They sell an official version with US antennas through Murena!

Also consider looking into Gadgetbridge and the list of devices it supports!