Expand and correct terminal-server documentation