diff -r 7bbfe9e35cdf -r 5da940c0285a OfficialServer.wiki
--- a/OfficialServer.wiki	Tue Apr 30 00:41:20 2019 +0200
+++ b/OfficialServer.wiki	Mon Apr 29 23:37:36 2019 +0100
@@ -2,13 +2,13 @@
 
 NOTE: This guide is a work in progress!
 
-## The official server
+== The official server ==
 
 The "official" server has some additional features over "normal" servers. Most notably, the "official" server saves replays and the `/watch` command in the lobby.
 
 Internally, this is just a `#define` that can be triggered on. It is possible to build a clone of the official server, but it is tricky (and not really documented yet).
 
-## How to build the official server
+== How to build the official server ==
 
 *NOTE*: This guide is INCOMPLETE and UNTESTED!