Developer’s Guide
If you find any such issues, you may want to submit a bug or a patch. We also have a Wiki page explaining how to . We encourage everyone to file tickets, early and often. Looking for existing, duplicate bugs is encouraged, but not required.