When searching for someone by realname, it would be best if the search were case
insensitive, since people (and languages) are not consistent about how they
capitalize their names.  Nor does the search page indicate that the search is
case sensitive.