rename master branch?

this came up today https://www.theserverside.com/feature/Why-GitHub-renamed-its-master-branch-to-main "main" is a prefer term for a long list of considerations