Arms-on: Vivaldi for Android is a privacy-respecting Chrome choice