Rename GitHub branch master to main, update documentation to reflect this change.
Rename GitHub branch master to main, update documentation to reflect this change.