3 posts were split to a new topic: Forums for bug reporting and the github issue tracker for discussion?