Announcement: Posts complaining about renaming master to main will be removed

Posts complaining about the new `main` naming that GitHub and others are adopting as their new default will be removed. No exceptions.

~~This change hurts nobody and it removes problematic language. Getting upset about it is pointless.~~

As some have pointed out below, the justification that I initially gave for this move wasn't great. But there was a _lot_ of noise about this change, and very little signal.

Thanks to those of you who made better arguments for this than I did.