docs: for pull #420, fixed 1 outdated doc(s)#421

joggrbot[bot] wants to merge 1 commit intomaindatum-cloud/milo:mainfrom

docs/jgr-autofix-milo-420datum-cloud/milo:docs/jgr-autofix-milo-420Copy head branch name to clipboard