Issue #2969718 by runeasgar, alexpott: The quick-start script could make it clearer than Ctrl+C is used to kill the server