Vivaldi, a New Browser Launched by Former Opera CEO