#60: html_format on category names for search results