Спасибо!
Скажите, а с чем связан разрыв в нумерации версий (после 12 сразу 15)?

Ну 13 несчастливое число.
14 ветка должна была выйти на WebKit.
15 это уже Opera на Chromium (Форкнутый с WebKit'а Гуглом Blink + V8 движок JavaScript)