Thanks for the heads up, but I (as most of the devs) don't regularly check this forum. So it would be much appreciated, if you could file these issues on issues.adblockplus.org
instead. Make sure to CC the respective developers (if in doubt just CC me, and I will loop in other developers if necessary). If an issue (after being filed on issues.adblockplus.org) doesn't get enough attention (in your opinion), I wouldn't mind if you ping me on IRC or via email, at least that way it's more likely that it gets my attention. Thanks!