In order to fulfill the basic functions of our service, the user hereby agrees to allow Xiaomi to collect, process and use personal information which shall include but not be limited to written threads, pictures, comments, replies in the Mi Community, and relevant data types listed in Xiaomi's Private Policy. By selecting "Agree", you agree to Xiaomi's Private Policy and Content Policy .
there is no such legal or officially released update for pro as it's stable available through 3rd party websites which needs some final touch ups before final official release.
I request all of you guys to be patient and please don't get carried over with others who are been putting this miui 10 by flashing their phones.
official update has been received in redmi s2/y2 which can be confirmed through below link and same u will find missing in note 5 pro.
trust, below is very much clear to you all and i believe that you have checked in below mentioned link for S2 and note 5 pro
in S2 it shows legal miui 10 available for download and pro section is with developer rom only