How do I report a bug? /docs/users/faq-howto-troubleshooting/howto-bug-reporting/ Please tell us about it by filing it on Github.