5.2 Where can I report bugs?

If you want to submit a bug report, please use our bug tracker. You may also want to ask questions within our prob-users group.