Bug Reporting#

Bug reports (and feature requests) are welcome via Github issues.