Use both user and dictionary translations in html search.