maybe we should just start the servers in the script?

I can see these instructions getting out of date again and again as they already have once