Yes, that's our bug tracker, you might find it easier to post bug reports here. It will be worth registering on the tracker if you are planning to use it more than a couple of times. Unfortunately, user accounts are not integrated yet between the forum and the tracker.
Evgeny (Nov 25 '11)