Is Pelé the footballer connected to Pele the diagram tool?

No. pele.wiki also covers Pele, an unrelated open-source library that renders Mermaid diagrams, at pele.wiki/. That project says it is named after the Hawaiian goddess of volcanoes and fire, not the footballer.