Improved HA documentation

More detailed description of how to recover when state servers fail
and many other fixes and cleanups throughout.