Another option is to run the same query with that option flipped, just to get the count. But that might balloon up our search query numbers too much.
Actually faceted search would take care of this.
Status: NEW → RESOLVED
Last Resolved: 8 years ago
Resolution: --- → DUPLICATE
Duplicate of bug: 579962
Component: Input → General
Product: Webtools → Input
You need to log in before you can comment on or make changes to this bug.