diff --git a/doc/developing/README.md b/doc/developing/README.md
index 80e531bea..92433019d 100644
--- a/doc/developing/README.md
+++ b/doc/developing/README.md
@@ -17,7 +17,7 @@ Notable pages:
 - [Developing minetestserver with Docker](docker.md)
 - [Android tips & tricks](android.md)
 - [OS/library compatibility policy](os-compatibility.md)
-- [Miscellaneous](misc.md)
+- [Profiling instructions](profiling.md)
 
 ## IRC
 
diff --git a/doc/developing/misc.md b/doc/developing/profiling.md
similarity index 99%
rename from doc/developing/misc.md
rename to doc/developing/profiling.md
index 5992946cb..2c334183b 100644
--- a/doc/developing/misc.md
+++ b/doc/developing/profiling.md
@@ -1,4 +1,4 @@
-# Miscellaneous
+# Profiling
 
 ## Profiling Luanti on Linux with perf