From e407363e130bf64714dced9d32b763a8850d5529 Mon Sep 17 00:00:00 2001
From: obelix <1113+obelix@giteauser>
Date: Wed, 9 Sep 2026 20:19:55 +0200
Subject: [PATCH] Fix a reference in the in-game Manual

Reported by forum user Thalatta.

Fixes #9208
---
 binaries/data/mods/public/gui/manual/intro.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/binaries/data/mods/public/gui/manual/intro.txt b/binaries/data/mods/public/gui/manual/intro.txt
index 798bf7eb9d..74cfae66b0 100644
--- a/binaries/data/mods/public/gui/manual/intro.txt
+++ b/binaries/data/mods/public/gui/manual/intro.txt
@@ -37,7 +37,7 @@ Finally change the settings. For random maps this includes the number of players
 When you are ready to start, click the “Start game” button.
 
 [font="sans-bold-16"]Hotkeys[font="sans-14"]
-You may change hotkeys in [font="sans-bold-14"]Options > Hotkeys[font="sans-14"] to suit your liking.
+You may change hotkeys in [font="sans-bold-14"]Settings > Hotkeys[font="sans-14"] to suit your liking.
 
 [font="sans-bold-14"]Program-wide[font="sans-14"]
   hotkey.exit – Immediately close the game, without asking for confirmation