Updates to server-installation docs