Yes there were search problems.
official link (I use this);
https://c.mi.com/global/miuidownload/detail/guide/1
★ POCO F5 Latest EEA Stable Version Fastboot File Download
Additionally, xiaomi.eu rom has also been released;
https://xiaomi.eu/community/threads/hyperos-1-0-stable-release.71170/...