I found a bug somewhere: what should I do?

You can report bugs or send us pull requests on our GitHub.