Documentation: Clarify on which config tools are available

fixes #6909