Fixes bug 945894 - Exposed SuperSearch in the public API.

@peterbe r?