Add php5-curl to packages
Retitle server packages section
Properly highlight non-ascii characters in files.