> You mean we should never repeat the default value in the doc because it is
> already obvious from the function signature?

That's usually the convention.