Bugs

There's currently no help on how to report bugs.

Please just use the issue tracker of github to report any bugs.

Or if you don't have or want an github account, use our google group to post a bug report.