# Eleazar name of man (See: [[rc://en/ta/man/jit/translate-names]])