User mention search should prioritize users with access to the current category

[Stephen]

@codinghorror

prioritize most frequent posters (globally)

Is there any time window on this? I would hate to see a prolific poster who leaves a community permanently dominate a search.