Re: [VOTE] Renaming default git branch name from 'master' to 'main' and replace offensive words as appropriate for inclusiveness

[Rene Moser]

+1 (non-binding)
While context is important and "master" has many meanings, I am not 
offended when we switch from "master" to "main" in favor of political 
correctness.