- Bugfix: the search result type names (node, user, comment) were not
  translatable in the search page output.  Patch by Gabor.