And, as of today, @opera now has 710 employees. Am I bragging? Yes I am! So proud of my wonderful company.