Merge "Docs: Cleanup"
authorDave Wallace <dwallacelf@gmail.com>
Tue, 14 Sep 2021 18:27:26 +0000 (18:27 +0000)
committerGerrit Code Review <gerrit@fd.io>
Tue, 14 Sep 2021 18:27:26 +0000 (18:27 +0000)

Trivial merge