Merge PR #18032 into master

* refs/pull/18032/head:
	Merge commit 'refs/pull/4/head' of github.com:batrick/ceph into ptl-tool-2
	script/ptl-tool.py: Label Validation
	Merge commit 'refs/pull/2/head' of github.com:batrick/ceph into ptl-tool-2
	Merge commit 'refs/pull/1/head' of github.com:batrick/ceph into ptl-tool-2
	script/ptl-tool.py: Fix the Comment example
	script/ptl-tool.py: Fixed error message
	ptl-tool: make more configurable and usable

Reviewed-by: Yuri Weinstein <yweins@redhat.com>
Reviewed-by: Jos Collin <jcollin@redhat.com>

diff --cc .githubmap
Simple merge