8. In case of trouble

8.3. Bug report

Please direct all bug reports or feature requests at GitHub.