Hmm sorry about that, you submitted a suggested edit directly on
pantsbuild.org? My comment was to ask if you could submit a PR instead, since we now publish docs from sources in the repo, so merging suggested edits won't work (they'll get overwritten at the next publish). Thanks!