bbPress.org

Thanks Mike for sharing your post and solving the bug as well. But, I also think, you need to approach bbpress tools plugin author.