No need for server.properties anymore. Generate a new config with
--no-wizard.
Save start.py incase I do want to go back to listing all the available
configuration options.