diff --git a/Documentation/metrics.txt b/Documentation/metrics.txt
index a9b82d6..a510e25 100644
--- a/Documentation/metrics.txt
+++ b/Documentation/metrics.txt
@@ -93,10 +93,6 @@
 ** `plugin`:
    The name of the plugin that performed the operation.
 
-Performance metrics can be enabled via the
-link:config.gerrit.html#tracing.exportPerformanceMetrics[`tracing.exportPerformanceMetrics`]
-setting.
-
 === Pushes
 
 * `receivecommits/changes`: histogram of number of changes processed in a single