See https://freshrss.github.io/FreshRSS/en/users/10_filter.html#with-the-search-field