Improved HA documentation

More detailed description of how to recover when state servers fail and many other fixes and cleanups throughout.
Yep, that's better. Fixed.