I'd like to change the name of the master branch to main following many others. Basic instructions are here.
master
main
@speleo3 or others -- any concerns? I'll wait a week or so before making the change.
Fine with me, no real concerns.