Documentation for CLI commands to administer a cluster in Stardog

Hi
By running cluster-related commands, we can retrieve many metrics, e.g., this command
cluster metrics Retrieves metrics for each server in the cluster.
If there any documentation about the meaning of these metrics?
I think understanding of these metrics can help us to improve the performance of applications etc.

The individual server metrics are explained in this section. You can also find a discussion of cluster related metrics here. Let us know if any parts need more clarification.

Best,
Evren