The page you requested has been relocated to https://docs.pingidentity.com/pingfederate/13.0/server_clustering_guide/pf_deploying_cluster_servers.html.