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.
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.