* Renaming Infrastructure to Metrics whenever the context is the metrics app.
* More renames, and picking up a few stray references to Infrastructure/Metrics/Logs UI too.
* Fixing typo
* Update index.asciidoc
More tidying up
* Partial commit, still very much work in progress
* Work in progress
* More partial changes
* More partial changes
* Yet more changes
* More changes to infrastructure section
* Some more tidying up of topics.
* More changes, adjusting links, proof-reading etc.
* Some review comments from @bmorelli25 and @gchaps
* Another review change
* Adding redirect for deleted bookmark
* More review changes
“application” is “app” apparently in this context
* Review comments from Brandon
