Automatic documentation sync - Run 20#6967

github-actions[bot] wants to merge 1 commit intomainampproject/amp.dev:mainfrom

auto-build-20ampproject/amp.dev:auto-build-20Copy head branch name to clipboard