>> What's likely to happen is 3.2.2 (free for 3.2 owners,
>> so no milking) or 3.3 ("to milk users").

> Doubtful they'll go to 3.3, as it means they'll only
> have one more revision left (3.5 already taken).

Yes, let's see how the revision number convergence to already assigned 3.5 will be handled.

> It's still 3.1.x regardless of what they want to call it.

In light of what changed from 3.0 to 3.1, I think "3.2" is justified for what was released as such.
And of course, version.revision is what "they" call it, regardless of what anybody else believes it should be.