Good for them! When it was first pointed out to me that these terms feel harmful for many, I rolled my eyes a little bit. But after thinking about it for a while, a few things became clear:
(1) There's no particular reason to start using the terms in a new project
(2) Leader/follower is much more accurate and clear than master/slave in basically every way
(3) It's a lot less difficult than I originally thought to fix legacy docs and code with nicer language
(4) The fact that master/slave has never bothered me personally has absolutely zero bearing on whether I should support their continued use.
(1) There's no particular reason to start using the terms in a new project
(2) Leader/follower is much more accurate and clear than master/slave in basically every way
(3) It's a lot less difficult than I originally thought to fix legacy docs and code with nicer language
(4) The fact that master/slave has never bothered me personally has absolutely zero bearing on whether I should support their continued use.