Probably the best approach is to contact the developers directly at firm@ipd.info.uni-karlsruhe.de.
There is the #firm channel on freenode with friendly idle people.
We have a bug tracker.