7. In case of trouble

• 7.1. Troubleshooting
• 7.2. Reporting bugs and requests

7.3. Bug report

Please direct all bug reports or feature requests at GitHub.