Documentation update.
Do not launch server with GUI by default.