To make editing the servers config file a bit easier I
reordered the settings and packed them into groups like
Server Options, Gameplay Options, Flag Options, ...
The positions of those sections are listed in a short
index at the beginning of the file.
This helps to get a better overview of the available