I think the RPi 4 is still competitive. At ~40$, Orange Pi's boards are Allwinner H618 and Rockchip RK3566 based boards. I do have an Orange Pi 3B in use because it has an nvme port, but the RPi 4 is generally faster.

The Raspberry Pi 5 and Orange Pi 5 are just too expensive. I do have some of the Pi 5s from both these companies, but have replaced them with Intel N100 mini-PCs instead. But I'll still use RPi 4's for my 3d printers and other lower-end uses.

And RPi's software support is just better: I've got an Orange Pi 4. Orange Pi hasn't updated their OS for it in years. Last time I tried to get it working in Armbian, HDMI output was (is?) broken: https://forum.armbian.com/topic/26818-opi-4-lts-no-hdmi-outp...

Orange Pi also has Rockchip RK3588 based boards.

RK35XX only worked well because volunteer maintainers like Joshua Riek were doing hard work, the support of those boards falls when people like him burn out.

For me personally, much of the value of the RPI products is knowing they will have long term support.

RockChip really only appears to care about embedded auto apps etc...thus their support horizon is more about sustainment and not enhancement, and they do little to support the community.

Where can I download the documentation for the BCM2712 in the RPi 5?

I can get this for the RK3588 though there are problems with my Orange Pi board that uses it.