HN doesn't permit users to downvote replies to their comments, so you can be sure that wasn't me. Maybe it's obvious to you, but I'm not sure how one qualifies as an expert in the necessity (or not) of removing the word "master" from github branches. Would you please elaborate?