Fix Redis page heading (was incorrectly set to Varnish)

Jonathan Visser · Jonathan Visser · commit 46151f845807 · 2026-03-31T11:00:34.000+02:00
diff --git a/docs/hypernode-platform/redis.md b/docs/hypernode-platform/redis.md
@@ -6,7 +6,7 @@ myst:
     title: Redis | Hypernode platform
 ---
 
-# Varnish
+# Redis
 
 ```{toctree}
 ---
