Rename HIgh-Perf/Paxos for Clustering n HA to High-Perf/Paxos for Clustering n HA