Learn more about these different git repos.
Other Git URLs
1957db5
Copy-edit, mainly fixing typos and English Some reformatting to stay within 79 char line length. Better definition of server vs. machine usage in failover section.