>‘Leader’ and „Leiter” share the same etymology, „Führer” does not.

You're not being pedantic, you're introducing an unnecessary element. The etymology of a word isn't relevant in determining its current meaning. Führer is usually translated as leader and there is nothing wrong with that translation.