The OnePlus 7 Pro project is now Omarchy Mobile.