Community's take on changing `master` branch to `main`

[miker256 (Mike Royal)]

I don’t mind the name change from master to main. Though, I agree with @methane on waiting to see how GitHub implements this change.