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

[gpshead (Gregory P. Smith)]

Official GitHub guidance has appeared! https://github.com/github/renaming