@NAB I have both installed ostensibly to support something not Chromium-based, but Vivaldi really is a much better experience.