Thanks! That was the work of Juan de la Cruz, one of the Penpot UI designers!