Per https://www.w3.org/Guide/manual-of-style/#inclusive, we should rename master branch to main branch. Also see https://github.com/w3c/idcg/issues/17