Yes the Xiaomi Codenames are a bit messy. I understand now that it was a confusion about my Redmi Note 5 global, which actually is a whyred and not a vince, as vince is only Redmi Note 5 and 5 Plus (this forum) but not the Redmi Note 5 global. The Redmi Note 5 glbal actually is equal to the Redmi Note 5 Pro (whyred). This was not clear from all the Codename threads from Xiaomi forums.
Device Xiaomi Redmi 5 Plus Codename: vince Maintainer: Mohammed Adnan (Addy0405) Source Changelog: Havoc-OS v4.15 Changelog: Merged March Security Patch ; Oxygen OS 13.1 Port with Android 13 For Poco F3/Redmi K40/Mi 11x (Alioth) July 22, 2023; Realme UI 4.0 Port with Android 13 For Redmi Note 9S/9 Pro/9 Pro Max/Poco M2 Pro (Miatoll)
nIU9u.