The use of the word "lead" rather than "leader" in these titles is a common way to indicate that the individual is a leader within their team, but not necessarily a manager with formal authority over other team members. (source - ChatGPT)