For what I understood is that he's just stepped down as lead developer.
You're correct. Dmytro Mukhomor is the lead developer of GrapheneOS.
You're correct. Dmytro Mukhomor is the lead developer of GrapheneOS.