Add better comments to server.php.