FYI just fixed an issue with user search that was preventing results when the people searched for hard a large number of followers. That bug is fixed now. No refresh needed. Should just work.