I should submit a documentation change as a standard PR to the pantsbuild/pants repo, yes?