opera: version bumped to 12.13.