I like to replace username in search result with user alias which I
added to user table.
I know that $result['user'] in
function mytheme_search_result(&$variables) {
contains the username, but I am not sure where I should go to change it
to user alias.
Kewei