diff --git a/doc/src/metrics.md b/doc/src/metrics.md
deleted file mode 100644
index a3b5220635eda..0000000000000
--- a/doc/src/metrics.md
+++ /dev/null
@@ -1,3 +0,0 @@
-# Metrics
-
-Each approved tool can (optionally) publish metrics here about how their tool has been applied to the effort thus far.
\ No newline at end of file