Bug reports can be submitted in the GitHub issue tracker.