Seems like mostly also strictly better names. Though being German replacing master with leader is ironic in our cultural context (the literal translation of lea

Seems like mostly also strictly better names. Though being German replacing master with leader is ironic in our cultural context (the literal translation of leader is Führer...).