Норвежская компания Opera Software сообщила о выпуске финальной версии популярного браузера Opera 12.10 с углублённой интеграцией расширений, позволяющую пользователям персонализировать свой браузер.