I've been working on a pitch shifting audio object for one of my projects. I have it using about 66% of the CPU on Teensy 4 with pretty high quality. I was thinking that it might be useful to others. What's the best way to publish it? Just a GitHub repo? Can I publish it to the normal Arduino library registry? It of course depends on the Teensy audio library.