Minor tweaks to Gremlin Server docs.