add server to options in docs