It is most helpful to report bugs via the official Github. We also monitor the Reddit and Discord channels, though it is easier to miss reports that occur there.
Last updated 2 years ago