Add docs for cli-server alternative

Alternative to #1027. If you accept this, reject #1027. I prefer #1027...