Vivaldi, a web browser for advanced users