Return a string which locates the remote document server. This is prefixed to URLs generated by (href-to)
An alternative might be "file:///star/docs/"
"file:///star/docs/"
Type: string
Document server URL