Cara Atur Browser Default Xiaomi, Menggantinya dengan Browser Lain