This seems like a pretty basic question, but I can't find it stated anywhere. What's the preferred way to submit bug reports in the Teensy libraries? A thread here? An issue report on GitHub? A pull request? A comment in an official development thread?

I posted an error with the DMAMUX defines for the Teensy4 in the beta thread, but it didn't get any response - not too surprising as that thread is a monster.

Here's the issue, but if anyone knows a better method of reporting this sort of thing I'm happy to do it the right way in the future.