Request a new doc build by commenting
* Rebuild this PR: `run docs-build`
* Rebuild this PR and all Elastic docs: `run docs-build rebuild`
`run docs-build` is much faster than `run docs-build rebuild`. A `rebuild` should only be needed in rare situations. If your PR continues to fail for an unknown reason, the doc build pipeline may be broken. Elastic employees can check the pipeline status [here](https://buildkite.com/elastic/docs-build).
The second commit is the actual pull request here, the first being #2679.