Reporting a Bug#

Open a new issue on our GitHub.