Это к вопросу о тараканах и цифрах. Конечно, проще, но настоящие герои лёгких путей не ищут.
Не проще ли обозвать "старую добрую" Opera12 и пусть новая зовётся так, как ей вздумается?приходится ярлыки актуализировать: ставлю в них номер версии, чтобы не путать со старой доброй Оперой 12.18, которая у меня до сих пор основная.
У меня Opera Stable 47.0, мне она нравится, работает очень быстро.