Archived 20-Sep-2013: The high-availability cluster has been set aside in favor of a more traditional single-box cluster. HA is grand in theory, but in the three years we operated the cluster we had no hardware problems which the HA set-up would have prevented, but many hours of downtime due to problems with the HA software. This mailing-list post has some details.
Here are the pages that documented the state and the diagnostic procedures for the HA cluster when it existed: