We should rename the "master" branch to "main" to be more inclusive of all audiences. I would generally make this change on repos I own, but I don't have the needed permissions on this repo.