Merge PR #24109 into master

* refs/pull/24109/head:
	doc: update docs for device management
	mgr: make devicehealth always-on
	mgr/devicehealth: do not create metrics pool on get-device-metrics
	mgr/devicehealth: converge OPTIONS and DEFAULTS
	mgr/devicehealth: squelch health warnings for unused devices
	mgr/devicehealth: show-health-metrics -> get-health-metrics

Reviewed-by: John Spray <john.spray@redhat.com>

diff --cc doc/mgr/index.rst
Simple merge

diff --cc src/common/options.cc
Simple merge