Any good video player for xiaomi HyperOS (vlc cannot be switched away from and you don’t have a “next” button, all others have different sync problems or cannot find files in hidden folders etc etc).