Merge topic 'instrumentation-doc-format' 515be042e2 Help/instrumentation: Improve formatting Acked-by: Kitware Robot <kwrobot@kitware.com> Merge-request: !11163