clarify default behavior of `documentation` field#13660

RalfJung wants to merge 1 commit intorust-lang:masterrust-lang/cargo:masterfrom

RalfJung:documentation-defaultRalfJung/cargo:documentation-defaultCopy head branch name to clipboard