About the Bug reporting category

Development Bug reporting
1

Found a bug? File it here!

Also, you can file bugs on GitHub.