Report a bug

Describe the issue. The report is sent to the triage automation so a GitHub issue can be opened in the right repository.