No, it's literally to use 'leader'. Not a German word that has a rather specific meaning when used in languages outside of German (although I suppose it's at least somewhat loaded in Germany too).
It’s severely loaded in German, and how’d you teach students about "leader/follower" without translating that part?
There’s something like other languages, which you translate to for documentation or teaching purposes, which means the German material will either have only this one in english (which leads to everyone immediately realizing why), or just using Führer.
That’s not in any way solving the issue.
For every word, there is a context in which it is offensive. Just stop caring about that, instead of trying to do the impossible for no benefit.
That’s a great choice, not only reprinting tons of literature, changing tons of code, but also choosing a Nazi analogy instead!
Every word triggers someone, society can’t be expected to adapt to anyone.
And I’ll continue to use Master/Slave, and continue to support the Sinter Klaas and Zwarte Piet tradition in the Netherlands.