Automatic documentation sync - Run 15#6952

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

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