I tend to agree - although maybe a fourth argument ("minorUpdate")
should be introduced to prevent that modification.
> It is worth a ticket?
Absolutely - if only to record that the issue has been raised before,
which is useful whether we decide to "fix" this or not.
-- F.
Indeed - I should have considered that in the first place, but I guess I
was eager to keep consistency with "minorUpdate".
So what shall we call this argument now (the obvious choice,
"majorUpdate", probably isn't a good idea)?
-- F.