Hi!
That would be a good solution I guess. The new search update is almost ready for release, which uses prefixed function names (including this one) to prevent these types of issues forever, so a temporary solution is also fine. (like commenting out the code, or removing it)
You can also edit the main theme to add the “function_exists” statement there as well, because after the search update, this function name will no longer be declared in the search code.