On Fri, Jul 24, 2020 at 02:34:18PM +1200, Brian E Carpenter <brian.e.carpenter@xxxxxxxxx> wrote a message of 10 lines which said: > Since you ask, the answer seems obvious: its name is "Master Clock" > so there's nothing else you can call it. "Master" on its own is here > to stay, anyway; in some contexts the proposed alternatives (like > "main") simply don't work. That's why most of the advice to authors > cannot be binary; we can't resolve this just with a blocklist > approach. And this is also why it cannot be implemented in tools. Even the best AI cannot know if the use of a word like master is oppressive or not.