Thank you for the new knowledge; I thought this whole time that Opera was renamed Vivaldi after the sale. That explains my original comment.