Hey y’all, I’m trying out GitHub Discussions on my fork of Joker (which is mostly about automatically adding APIs to Joker at build time) – feel free to participate: https://github.com/jcburley/joker/discussions/20