Document argument reuse behavior in 'help printf'?

[Ulf Magnusson]

Only the manual mentions that "the format is reused as necessary to
consume all of the arguments"; it would be nice if this was in 'help
printf' too.

/Ulf