diff -r e08849853ddb -r 695f35df799e ControlsRework.wiki
--- a/ControlsRework.wiki	Mon Apr 29 12:09:20 2019 +0100
+++ b/ControlsRework.wiki	Mon Apr 29 21:15:08 2019 +0100
@@ -1,5 +1,11 @@
 #summary Solutions for fixing bug 240 (frontend displays wrong key name)
 
+*This wiki page is OBSOLETE now. Bug 240 is now fixed.*
+
+Everything below the line is only of historic interest.
+
+---
+
 This wiki page is for documenting and analyzing possible solutions for [https://issues.hedgewars.org/show_bug.cgi?id=240 bug 240] that have been discussed before.
 
 == Criteria ==