doc changes to specify new 'workbench_server' call to start the server