Somebody yesterday alerted me to the fact that the discussion search function wasn't working. Indeed, there is a problem using the search bar in the "Discussion" section.
The solution: Use the search bar way at the top, in the black bar, above the green tabs. That seems to be working just fine.