Update docs for dev-server script.
Merge branch 'master' into dbxref-links-1200