4 If disk space is a concern, then there are a number of files which you can
5 safely delete without affecting your game.
7 You can type this immediately:
10 Once you have compiled your info pages, you can type:
13 Once you have compiled your server, you can type: