notRobot parent
First two links are resellers, as mentioned in the footers. But yes, Orange Pis have always been a bit shady.
So the third link is the official one? Its footer has some very sketchy looking links, including to two different telegram channels, three aliexpress stores, and some guy's skype username...
Then again, we might not even be seeing the same site, since it forces http:// and could be modified in transit by anyone on the path of either of our ISPs and the web host.
In my experience on Aliexpress, 3 stores aren't unusual. Most of the stores I buy from on Aliexpress (mostly 3d printer parts) have at least 2 stores. Even the reputable ones like BigTreeTech which is a pretty popular for 3d printer control boards have at least five stores by my last count. According to them, Aliexpress don't allow multiple accounts to manage a store, so they make a new one for each salesperson.
Orange Pi / Xunlong is a stable brand that's been primarily on Aliexpress for 7-8 years IIRC, producing various boards, all of which work fine for me. Very reliable seller, and the product + it's cheap. In the past they had Orange Pi PC, which was half the price of Raspberry Pi 2 or whatnot and much better in connectivity (4x real USB host interfaces, ...).
Their software I would not touch, but I never had to. Most Allwinner and Rockchip boards are well supported upstream. I just upstreamed support for Orange Pi 5 Plus a week ago or so.
All you ever need with these random boards is to build your own Linux kernel and bootloader for them, which is a few fairly standard steps, and then you can use any normal aarch64 distro on them, even if the board is not "supported" by the distro.
I just have a script to cross-build the recent kernel for the boards I own, and update it remotely. Not a huge issue.