Ah okay! Is there a trac, git or something available where I can propose a diff? Thanks!
Thanks for confirming Robin!
As WP_Query::is_search
is a public variable, why don’t we simply alter it in real-time within bbPress itself? This will make sure people won’t need an external fix :), and it will leave plugin/theme developers out of question and responsibility.