I think the instructions need to be clearer here. Do they need clone the directory after configuring the server, or can they just start another server with a port offset?

If you look at the `jts` quickstart, it provides instructions for starting 2 servers, one with a port offset of 100. Do we need to add something like that?