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!

Unfortunately he isn’t sharing his historical datasets sets with the wider community. :(