NanoPi R5C with FriendlyWRT - adding openwrt official opkg source points nowhere

The wiki instructions for pointing the package source to downloads.openwrt.org goes nowhere.
The URL does not exist.
I am using FriendlyWRT 23.05 on a NanoPi R5C.

Please let me know what I need to do.
Thank you.

There is a difference between FriendlyWRT 23.05 and openwrt. They are not necessarily universal.

It is better to consult openwrt officials.

To answer my own question: the right command to get to the OpenWRT repository should be:

sed -i -e ‘s,mirrors.cloud.tencent.com/openwrt,downloads.openwrt.org,g’ /etc/opkg/distfeeds.conf

This is valid also for the original FriendlyWRT version distributed with the device.
Please fix the information in the wiki. Thanks.