Backport to fix wrong nodoc on collection proxy.

Backport 8ddb4fcbd3fe4d7f2b11afe4316cca4f6c6ca2ec to `4-0-stable`.
Closes #14281.