As we have each 6 month a new major release, why not increment the major
number on each of them ?
And as we're about to release 3.12.0, my preference is slowly moving
toward *removing* the 3. and saying each major release get it's major
number. So 12.0, 12.1, 12.2,... then 14.0,...