Розробники Opera представили нову версію браузера з вбудованим захистом від майнерів