2024-05-15 Agenda User polls on GitHub discusions. Open PR for new transpiler. Next Meeting 2024-09-18