Print port number on console when starting server. Other nits
Syncing up more video planning between txt and JSON