Your documentation suggests that electing new project leads is a responsibility of the "Project lead circle".

This is inconsistent with the Eclipse Foundation Development Process (EDP). Per the EDP, project leads are nominated and elected by committers based on a consistent public demonstration of merit following an open process.

https://www.eclipse.org/projects/dev_process/#4_6_2_PL

Note that project leads must first be committers.