1If you open a GitHub Issue, here is our policy: 2 31. It must be a bug/performance issue or a feature request or a build issue or 4 a documentation issue (for small doc fixes please send a PR instead). 51. Make sure the Issue Template is filled out. 61. The issue should be related to the repo it is created in. 7 8**Here's why we have this policy:** We want to focus on the work that benefits 9the whole community, e.g., fixing bugs and adding features. Individual support 10should be sought on Stack Overflow or other non-GitHub channels. It helps us to 11address bugs and feature requests in a timely manner. 12