Opera Extensions is part of Opera