Can someone explain if this company still develops the Opera browser? Because I believe it was bought by a couple of Chinese companies, no?