From ec2f2e7f33d9ae00bde12350a91b6d3e434f93d3 Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Wed, 28 May 2025 09:04:25 +0200
Subject: [PATCH] docs: apply redirects

Those redirect, so we might as well hardcode the them.
---
 docs/references/configuration.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/references/configuration.rst b/docs/references/configuration.rst
index 210584073..67b23541a 100644
--- a/docs/references/configuration.rst
+++ b/docs/references/configuration.rst
@@ -879,7 +879,7 @@ server-timing-enabled
   **In-Database** pgrst.server_timing_enabled
   =============== =================================
 
-  Enables the `Server-Timing <https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Server-Timing>`_ header.
+  Enables the `Server-Timing <https://developer.mozilla.org/en-US/docs/Web/HTTP/Reference/Headers/Server-Timing>`_ header.
   See :ref:`server-timing_header`.
 
 .. _server-unix-socket: