Improved HA documentation

More detailed description of how to recover when state servers fail and many other fixes and cleanups throughout.
I'm a little torn on this hyphen, but not enough to quibble.