The thread Bug Reports, Feature Requests and Pull Requests says to report issues in the GitHub issue tracker. However, the issue tracker on GitHub is closed.
So, where can I report bugs? Can someone update the forum topic to lead people to the right place?