Fix doc docs

Update this to tell the correct (maintained!) way to run a local docserver.