Rename "master" branch

We should go with the times and rename our "master" branch. I would prefer the widely accepted "main":

Johannes Schindelin on git@vger.kernel.org on Wed, 24 Jun 2020 14:46:27 +0000:

A growing number of open source projects aims to avoid the branch name master due to its negative connotation.

I would like to complete this before hard-coding the main branch name into CI/CD pipelines.

• The software freedom conservancy on the matter: Regarding Git and Branch Naming 2021-06-23
• The code change allowing to change the default main branch name from "master" in Git, together with additional resources by Johannes Schindelin on git@vger.kernel.org 2020-06-24
• How to set a Custom initial branch name in GitLab
• GitHub on the matter together with a useful list what "Renaming a branch will" do 2020-07-21

What's your stance on this @jcalderone ?