276
Raspberry Pi is now manufacturing 70,000 Pi 5s per week, will surge to 90,000 in February
(www.tomshardware.com)
This is a most excellent place for technology news and articles.
From what I've gathered from various sources:
Another thing to check would be Armbian's site - if something is supported by that distro, it might be worth taking a closer look at
A lot of the companies producing these "Pi killers" made them to survive the shortage, because their Pi accessories weren't selling. This means that generally they'll work great with the accessory, but support may be hit or miss outside of that.
I would lean towards Orange Pi personally, mainly due to cost and how long they've been around. Avoid the very early models as there were some overheating issues on a minority of the Allwinner chips - iirc their recent boards are using Rockchip instead.
Edit: add Libre Le Potato