Tell students how to restart the server

Students do not understand that "restart" means: stop, then start again. Also they may not remember how to stop, or start the server.
manual merge
Merge branch 'schneems-schneems/restart-explain'